On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication

&
Studia Logica 107 (2):351-374 (2019)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-018-9796-6

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,995

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.
Tense Operators on Distributive Lattices with Implication.Gustavo Pelaitay & William Zuluaga - 2023 - Studia Logica 111 (4):687-708.
On Weak Lewis Distributive Lattices.Ismael Calomino, Sergio A. Celani & Hernán J. San Martín - forthcoming - Studia Logica:1-41.
Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
Factor Congruence Lifting Property.George Georgescu & Claudia Mureşan - 2017 - Studia Logica 105 (1):179-216.
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
Remarks on an algebraic semantics for paraconsistent Nelson's logic.Manuela Busaniche & Roberto Cignoli - 2011 - Manuscrito 34 (1):99-114.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
On self‐distributive weak Heyting algebras.Mohsen Nourany, Shokoofeh Ghorbani & Arsham Borumand Saeid - 2023 - Mathematical Logic Quarterly 69 (2):192-206.

Analytics

Added to PP
2018-04-12

Downloads
64 (#362,065)

6 months
6 (#723,405)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Ramon Jansana Ferrer
Universitat de Barcelona

Citations of this work

No citations found.

Add more citations

References found in this work

Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
Implicit connectives of algebraizable logics.Xavier Caicedo - 2004 - Studia Logica 78 (1-2):155 - 170.

View all 11 references / Add more references