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"