Minimal varieties of involutive residuated lattices

verfasst von
C. Tsinakis, A. M. Wille
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.

Externe Organisation(en)
Vanderbilt University
Technische Universität Darmstadt
Typ
Artikel
Journal
Studia logica
Band
83
Seiten
407-423
Anzahl der Seiten
17
ISSN
0039-3215
Publikationsdatum
06.2006
Publikationsstatus
Veröffentlicht
Peer-reviewed
Ja
ASJC Scopus Sachgebiete
Logik, Wissenschaftsgeschichte und -philosophie
Elektronische Version(en)
https://doi.org/10.1007/s11225-006-8311-7 (Zugang: Unbekannt)
 

Details im Forschungsportal „Research@Leibniz University“