Polyadic algebras over nonclassical logics
Volume 28 / 1993
Banach Center Publications 28 (1993), 51-66
DOI: 10.4064/-28-1-51-66
Abstract
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.
