An abstract algebraic logic approach to tetravalent modal logics

DOI10.2307/2586552zbMath1013.03075OpenAlexW2165781359MaRDI QIDQ4508244

Josep Maria Font, Miquel Rius

Publication date: 14 January 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586552

zbMATH Keywords

modal logicabstract algebraic logicalgebraizable logicDe Morgan algebrafour-valued logicabstract logictetravalent modal algebrasfull modelgeneralized matrixabstract modelthree-valued Łukasiewicz algebrafour-valued modal algebrastrongly adequate Gentzen calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items (20)

De Morgan clones and four-valued logics ⋮ EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes ⋮ Free Modal Pseudocomplemented De Morgan Algebras ⋮ Localization of tetravalent modal algebras ⋮ On PBZ*-lattices ⋮ Correspondence analysis and automated proof-searching for first degree entailment ⋮ Axiomatizing the skew Boolean propositional calculus ⋮ 40 years of FDE: an introductory overview ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ Quasi-Boolean based models in rough set theory: a case of covering ⋮ Relational semantics for normal topological quasi-Boolean logic ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Hilbert-style presentations of two logics associated to tetravalent modal algebras ⋮ Algebraic structures in the vicinity of pre-rough algebra and their logics ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ Cut-free sequent calculus and natural deduction for the tetravalent modal logic ⋮ Classical modal De Morgan algebras ⋮ On monadic operators on modal pseudocomplemented De Morgan algebras and tetravalent modal algebras ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Prime spectrum of a tetravalent modal algebra
• Four valued semantics and the Liar
• Finitely generated free tetravalent modal algebras
• Principal congruences of tetravalent modal algebras
• Bilattices and the theory of truth
• Reduced products of logical matrices
• Equivalential logics. II
• Algebraic logic for classical conjunction and disjunction
• Matrix approach in methodology of sentential calculi
• Les algèbres de Heyting et de Lukasiewicz trivalentes
• Logics preserving degrees of truth
• Logics Projectively Generated from [ℳ = (ℱ4, [{1}]) by a Set of Homomorphisms]
• Bilattices and the semantics of logic programming

This page was built for publication: An abstract algebraic logic approach to tetravalent modal logics