On order types of linear basic algebras
Basic algebras form a common generalization of MV-algebras and of orthomodular lattices, the algebraic tool for axiomatization of many-valued Łukasiewicz logic and the logic of quantum mechanics. Hence, they are included among the socalled quantum structures. An important role is played by linearly...
Gespeichert in:
Veröffentlicht in: | Algebra universalis 2015-06, Vol.73 (3-4), p.267-275 |
---|---|
Hauptverfasser: | , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | Basic algebras form a common generalization of MV-algebras and of orthomodular lattices, the algebraic tool for axiomatization of many-valued Łukasiewicz logic and the logic of quantum mechanics. Hence, they are included among the socalled quantum structures. An important role is played by linearly ordered basic algebras because every subdirectly irreducible MV-algebra and every subdirectly irreducible commutative basic algebra is linearly ordered. Since subdirectly irreducible linearly ordered basic algebras exist of any infinite cardinality, the natural question is to describe all possible order types of these algebras. This problem is solved in the paper. |
---|---|
ISSN: | 0002-5240 1420-8911 |
DOI: | 10.1007/s00012-015-0328-1 |