Displaying similar documents to “Words, free algebras, and coequalizers”

Polyadic algebras over nonclassical logics

Don Pigozzi, Antonino Salibra (1993)

Banach Center Publications

Similarity:

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 intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.