首页 | 本学科首页   官方微博 | 高级检索  
     


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 Lukasiewiczpropositional calculus.
Keywords:Positive calculus    Heyting algebras    compatible functions
本文献已被 Oxford 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号