Compatible Functions in Algebras Associated to Extensions of Positive Logic |
| |
Authors: | Ertola, Rodolfo C. Galli, Adriana Sagastume, Marta |
| |
Affiliation: | Departamento de Filosofía, Universidad Nacional de La Plata, La Plata, Argentina. E-mail: rudolf{at}huma.fahce.unlp.edu.ar |
| |
Abstract: | In [4], Caicedo and Cignoli study compatible functions on Heytingalgebras and the corresponding logical properties of connectivesdefined on intuitionistic propositional calculus. In this paperwe study some aspects of compatible functions on the algebrasassociated to positive propositional calculus and successiveextensions of it: intuitionistic calculus itself, the modalsymmetric propositional calculus of Moisil and n-valued ukasiewiczpropositional calculus. |
| |
Keywords: | Positive calculus Heyting algebras compatible functions |
本文献已被 Oxford 等数据库收录! |
|