Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 407-423 |
| Seitenumfang | 17 |
| Fachzeitschrift | Studia logica |
| Jahrgang | 83 |
| Ausgabenummer | 1-3 |
| Publikationsstatus | Veröffentlicht - Juni 2006 |
| Extern publiziert | Ja |
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.
ASJC Scopus Sachgebiete
- Mathematik (insg.)
- Logik
- Geisteswissenschaftliche Fächer (insg.)
- Wissenschaftsgeschichte und -philosophie
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Studia logica, Jahrgang 83, Nr. 1-3, 06.2006, S. 407-423.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
}
TY - JOUR
T1 - Minimal varieties of involutive residuated lattices
AU - Tsinakis, C.
AU - Wille, A. M.
PY - 2006/6
Y1 - 2006/6
N2 - 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.
AB - 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.
KW - Involutive residuated lattice
KW - Minimal variety
KW - Module over a residuated lattice
KW - Residuated lattice
UR - http://www.scopus.com/inward/record.url?scp=33746106117&partnerID=8YFLogxK
U2 - 10.1007/s11225-006-8311-7
DO - 10.1007/s11225-006-8311-7
M3 - Article
AN - SCOPUS:33746106117
VL - 83
SP - 407
EP - 423
JO - Studia logica
JF - Studia logica
SN - 0039-3215
IS - 1-3
ER -