An abstract algebraic logic approach to tetravalent modal logics
DOI10.2307/2586552zbMath1013.03075OpenAlexW2165781359MaRDI QIDQ4508244
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
modal logicabstract algebraic logicalgebraizable logicDe Morgan algebrafour-valued logicabstract logictetravalent modal algebrasfull modelgeneralized matrixabstract modelthree-valued Łukasiewicz algebrafour-valued modal algebrastrongly adequate Gentzen calculus
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)
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