Minimal varieties of involutive residuated lattices
- authored by
- 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.
- External Organisation(s)
-
Vanderbilt University
Technische Universität Darmstadt
- Type
- Article
- Journal
- Studia logica
- Volume
- 83
- Pages
- 407-423
- No. of pages
- 17
- ISSN
- 0039-3215
- Publication date
- 06.2006
- Publication status
- Published
- Peer reviewed
- Yes
- ASJC Scopus subject areas
- Logic, History and Philosophy of Science
- Electronic version(s)
-
https://doi.org/10.1007/s11225-006-8311-7 (Access:
Unknown)
-
Details in the research portal "Research@Leibniz University"