An equational theory for \(\sigma \)-complete orthomodular lattices
- 8 Downloads
The condition of \(\sigma \)-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 \(\sigma \)-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 \(\sigma \)-complete orthomodular lattices is introduced and a completeness theorem is obtained.
Keywords\(\sigma \)-Complete orthomodular lattices Infinitary operations Hilbert style calculus
Compliance with ethical standards
Conflict of interest
The authors declare that they have no conflict of interest.
This article does not contain any studies with human participants or animals performed by any of the authors