- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Some lattice-ordered algebras on which all congruences are principal
Logic Journal of the IGPL 27 (3):314-327 (2019)
Abstract
We characterize, via their dual spaces, the symmetric extended distributive lattices, symmetric extended Stone algebras and symmetric extended Kleene algebras on which all congruences are principal. The conditions require the finiteness and interpolation properties for these algebras.Other Versions
No versions found
My notes
Similar books and articles
Congruence Coherent Symmetric Extended de Morgan Algebras.T. S. Blyth & Jie Fang - 2007 - Studia Logica 87 (1):51-63.
Distributive lattices with an operator.Alejandro Petrovich - 1996 - Studia Logica 56 (1-2):205 - 224.
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.Hernán Javier San Martín & Ramon Jansana - 2019 - Studia Logica 107 (2):351-374.
Distributive Lattices with a Negation Operator.Sergio Arturo Celani - 1999 - Mathematical Logic Quarterly 45 (2):207-218.
Model Completions for Universal Classes of Algebras: Necessary and Sufficient Conditions.George Metcalfe & Luca Reggio - 2023 - Journal of Symbolic Logic 88 (1):381-417.
Weak-quasi-Stone algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.
Ockham Algebras with Additional Operators.Aldo Figallo, Paolo Landini & Alicia Zillani - 2004 - Logic Journal of the IGPL 12 (6):447-459.
Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
Principal congruences on semi-de Morgan algebras.Cândida Palma & Raquel Santos - 2001 - Studia Logica 67 (1):75-88.
Congruence properties of pseudocomplemented De Morgan algebras.Hanamantagouda P. Sankappanavar & Júlia Vaz de Carvalho - 2014 - Mathematical Logic Quarterly 60 (6):425-436.
Analytics
Added to PP
2018-10-06
Downloads
99 (#520,489)
6 months
23 (#460,952)
2018-10-06
Downloads
99 (#520,489)
6 months
23 (#460,952)
Historical graph of downloads
References found in this work
Distributive lattices with a dual homomorphic operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (1):93-132.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics II.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (2):151-172.
Raymond Balbes and Philip Dwinger. Distributive lattices. University of Missouri Press, Columbia1974, xiii + 294 pp. [REVIEW]Alasdair Urquhart - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Congruence Coherent Symmetric Extended de Morgan Algebras.T. S. Blyth & Jie Fang - 2007 - Studia Logica 87 (1):51-63.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation