Polyadic algebras over nonclassical logics
Don Pigozzi, Antonino Salibra · Banach Center Publications · 1993
The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and i