Switch to: Citations

References in:

Classical Modal De Morgan Algebras

Sergio A. Celani

Studia Logica 98 (1-2):251-266 (2011)

Add references

You must login to add references.

An Abstract Algebraic Logic Approach to Tetravalent Modal Logics.Josep Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.details This paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools ofAlgebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their "A General Algebraic Semantics for Sentential Logics". The logics studied here arise (...) Download Export citation Bookmark 13 citations
Principal Congruences of Pseudocomplemented Demorgan Algebras.Hanamantagouda P. Sankappanavar - 1987 - Mathematical Logic Quarterly 33 (1):3-11.details Download Export citation Bookmark 5 citations
Principal Congruences of Pseudocomplemented Demorgan Algebras.Hanamantagouda P. Sankappanavar - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):3-11.details Download Export citation Bookmark 5 citations
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.details Download Export citation Bookmark 134 citations
Prime spectrum of a tetravalent modal algebra.Isabel Loureiro - 1983 - Notre Dame Journal of Formal Logic 24 (3):389-394.details Download Export citation Bookmark 5 citations
Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras.Hernando Gaitán - 1998 - Mathematical Logic Quarterly 44 (4):553-567.details In this paper we characterize the join irreducible elements of the free algebras on n free generators in the subvarieties of the variety V0 of pseudocomplemented De Morgan algebras satisfying the identity xx′* = ′*. Download Export citation Bookmark 2 citations
An abstract algebraic logic approach to tetravalent modal logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.details This paper contains a joint study of two sentential logics that combine a many-valued character, namely tetravalence, with a modal character; one of them is normal and the other one quasinormal. The method is to study their algebraic counterparts and their abstract models with the tools of Abstract Algebraic Logic, and particularly with those of Brown and Suszko's theory of abstract logics as recently developed by Font and Jansana in their "A General Algebraic Semantics for Sentential Logics". The logics studied (...) Download Export citation Bookmark 14 citations
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic.S. Celani & R. Jansana - 1999 - Logic Journal of the IGPL 7 (6):683-715.details In [12] the study of Positive Modal Logic is initiated using standard Kripke semantics and the positive modal algebras are introduced. The minimum system of Positive Modal Logic is the -fragment of the local consequence relation defined by the class of all Kripke models. It can be axiomatized by a sequent calculus and extensions of it can be obtained by adding sequents as new axioms. In [6] a new semantics for PML is proposed to overcome some frame incompleteness problems discussed (...) Download Export citation Bookmark 25 citations

1