On Generalized I-Algebras and 4-valued Modal Algebras

MaRDI QIDQ5690138zbMATHFDO

Authors Aldo V. Figallo, Paolo Landini

Publication date 19 March 1997

Full work available at URL https://arxiv.org/abs/1203.6056

zbMATH Keywords

C-algebrasG-algebrascommutative BCK-algebras4-valued modal algebrasgeneralized \(I\)-algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Abstract: In this paper we establish a new characterization of 4-valued modal algebras considered by A. Monteiro. In order to obtain this characterization we introduce a new class of algebras named generalized I-algebras. This class contains strictly the class of C-algebras defined by Y. Komori as an algebraic counterpart of the infinite-valued implicative Lukasiewicz propositional calculus. On the other hand, the relationship between I-algebras and conmutative BCK-algebras, defined by S. Tanaka in 1975, allows us to say that in a certain sense G-algebras are also a generalization of these latter algebras

Recommendations

• Several characterizations of the 4-valued modal algebra
• scientific article; zbMATH DE number 761291
• scientific article; zbMATH DE number 1054876

Cited in

(7)

• Localization of tetravalent modal algebras
• Several characterizations of the 4-valued modal algebra
• Cut-free sequent calculus and natural deduction for the tetravalent modal logic
• scientific article; zbMATH DE number 741505 (Why is no real title available?)
• Ideal related algebras and their logics
• Implicative twist-structures
• Hilbert-style presentations of two logics associated to tetravalent modal algebras

This page was built for publication: On Generalized I-Algebras and 4-valued Modal Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5690138)