Compatible Functions in Algebras Associated to Extensions of Positive Logic
Rodolfo C. Ertola-Biraben, Adriana Galli, Marta Sagastume · Logic Journal of IGPL · 2006
In [4], Caicedo and Cignoli study compatible functions on Heyting algebras and the corresponding logical properties of connectives defined on intuitionistic propositional calculus. In this paper we study some aspects of compatible functions on the algebras associated to positive propositional calculus and successive extensions of it: intuitionistic calculus itself, the modal symmetric propositional calculus of Moisil and n-valued Łukasiewicz propositional calculus.