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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Algebra universalis 2015-06, Vol.73 (3-4), p.267-275
Hauptverfasser: Pinus, Alexander G., Chajda, Ivan, Halaš, Radomír
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
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