The condition of σ-completeness related to orthomodular lattices places an important role in the study of quantum probability theory. In the framework of algebras with infinitary operations, an equational theory for the category of σ-complete orthomodular lattices is given. In this structure, we study the congruences theory and directly irreducible algebras establishing an equational completeness theorem. Finally, a Hilbert style calculus related to σ-complete orthomodular lattices is introduced and a completeness theorem is obtained.
An equational theory for σ -complete orthomodular lattices
Freytes, Hector
Primo
2020-01-01
Abstract
The condition of σ-completeness related to orthomodular lattices places an important role in the study of quantum probability theory. In the framework of algebras with infinitary operations, an equational theory for the category of σ-complete orthomodular lattices is given. In this structure, we study the congruences theory and directly irreducible algebras establishing an equational completeness theorem. Finally, a Hilbert style calculus related to σ-complete orthomodular lattices is introduced and a completeness theorem is obtained.
| File | Dimensione | Formato | |
|---|---|---|---|
|
SigmaOMLsoco.pdf
Solo gestori archivio
Descrizione: Articolo principale
Tipologia:
versione pre-print
Dimensione
192.91 kB
Formato
Adobe PDF
|
192.91 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I metadati presenti in IRIS UNICA sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono protetti da diritto d'autore, salvo diversa indicazione.
