- 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
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication
Studia Logica 107 (2):351-374 (2019)
Abstract
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variety. We apply this description in order to study compatible functions.Author's Profile
My notes
Similar books and articles
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.Ramon Jansana & Hernán Javier San Martín - 2019 - Studia Logica 107 (2):351-374.
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator.Hiroki Takamura - 2012 - Studia Logica 100 (6):1137-1148.
Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
Principal and Boolean Congruences on $$\varvec{IKt}$$ IKt -Algebras.Aldo V. Figallo, Inés Inés Pascual & Gustavo Pelaitay - 2018 - Studia Logica 106 (4):857-882.
Factor Congruence Lifting Property.George Georgescu & Claudia Mureşan - 2017 - Studia Logica 105 (1):179-216.
Remarks on an algebraic semantics for paraconsistent Nelson's logic.Manuela Busaniche & Roberto Cignoli - 2011 - Manuscrito 34 (1):99-114.
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
Compatible operations on commutative residuated lattices.José Luis Castiglioni, Matías Menni & Marta Sagastume - 2008 - Journal of Applied Non-Classical Logics 18 (4):413-425.
Principal congruences on semi-de Morgan algebras.Cândida Palma & Raquel Santos - 2001 - Studia Logica 67 (1):75-88.
Ockham Algebras with Additional Operators.Aldo Figallo, Paolo Landini & Alicia Zillani - 2004 - Logic Journal of the IGPL 12 (6):447-459.
Distributive lattices with an operator.Alejandro Petrovich - 1996 - Studia Logica 56 (1-2):205 - 224.
Weak‐quasi‐Stone algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.
l -Hemi-Implicative Semilattices.José Luis Castiglioni & Hernán Javier San Martín - 2018 - Studia Logica 106 (4):675-690.
l-Hemi-Implicative Semilattices.Hernán Javier San Martín & José Luis Castiglioni - 2018 - Studia Logica 106 (4):675-690.
Analytics
Added to PP
2019-03-17
Downloads
21 (#695,936)
6 months
8 (#292,366)
2019-03-17
Downloads
21 (#695,936)
6 months
8 (#292,366)
Historical graph of downloads
Author's Profile
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
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
Server: philpapers-web-7c76586df8-l2pxr uwo