Minimal Varieties of Involutive Residuated Lattices

&
Studia Logica 83 (1-3):407-423 (2006)
  Copy   BIBTEX

Abstract

We establish the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices. The proof utilizes a construction used in the proof of the corresponding result for residuated lattices and is based on the fact that every residuated lattice with greatest element can be associated in a canonical way with an involutive residuated lattice.

Categories

Keywords

DOI

10.1007/s11225-006-8311-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 86,468

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

Minimal subvarieties of involutive residuated lattices.Daisuke Souma - 2011 - Reports on Mathematical Logic:17-27.
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.
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.Enrico Marchioni - 2012 - Archive for Mathematical Logic 51 (1-2):15-34.
On the variety generated by involutive pocrims.James Raftery - 2007 - Reports on Mathematical Logic.
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.D. Castaño, J. P. Díaz Varela & A. Torrens - 2011 - Studia Logica 98 (1-2):223-235.
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
Compatible Operations on Residuated Lattices.J. L. Castiglioni & H. J. San Martín - 2011 - Studia Logica 98 (1-2):203-222.
Commutative integral bounded residuated lattices with an added involution.Roberto Cignoli & Francesc Esteva - 2010 - Annals of Pure and Applied Logic 161 (2):150-160.
On involutive FLe-monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.Diego Castaño, J. Patricio Díaz Varela & Antoni Torrens Torrell - 2011 - Studia Logica 98 (1-2):223 - 235.
On Some Categories of Involutive Centered Residuated Lattices.J. L. Castiglioni, M. Menni & M. Sagastume - 2008 - Studia Logica 90 (1):93-124.
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term.Roberto Cignoli & Antoni Torrens - 2012 - Studia Logica 100 (6):1107-1136.
Factorization of residuated lattices.Michal Krupka - 2009 - Logic Journal of the IGPL 17 (2):205-223.
Every Free Biresiduated Lattice is Semisimple.H. Takamura - 2003 - Reports on Mathematical Logic:125-133.

Analytics

Added to PP
2009-01-28

Downloads
92 (#159,765)

6 months
1 (#869,379)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Categories of models of R-mingle.Wesley Fussner & Nick Galatos - 2019 - Annals of Pure and Applied Logic 170 (10):1188-1242.
The logic Ł•.Marta S. Sagastume & Hernán J. San Martín - 2014 - Mathematical Logic Quarterly 60 (6):375-388.

View all 8 citations / Add more citations

References found in this work

★-autonomous Lattices.Francesco Paoli - 2005 - Studia Logica 79 (2):283-304.

Add more references