Abstract
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.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Paper version not known
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
