On Generalized I-Algebras and 4-valued Modal Algebras

zbMATH Open0858.03062arXiv1203.6056MaRDI QIDQ5690138FDOQ5690138

Authors: Aldo V. Figallo, Paolo Landini 

Publication date: 19 March 1997

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

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

Recommendations

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

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)

Cited In (7)

• Implicative twist-structures
• Ideal related algebras and their logics
• Cut-free sequent calculus and natural deduction for the tetravalent modal logic
• Hilbert-style presentations of two logics associated to tetravalent modal algebras
• Title not available (Why is that?)
• Localization of tetravalent modal algebras
• Several characterizations of the 4-valued modal algebra

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)