Previous |  Up |  Next


orthomodular lattice; ortholattice; orthocomplementation; OML-algebra
We prove that an orthomodular lattice can be considered as a groupoid with a distinguished element satisfying simple identities.
[1] Abbott J. C.: Semi-boolean algebras. Matem. Vesnik, 4 (1967), 177–198. MR 0239957
[2] Birkhoff G.: Lattice Theory. : Proc. Amer. Math. Soc., Providence, R. I. third edition, 1967. MR 0227053
[3] Beran L.: Orthomodular Lattices – Algebraic Approach. : D. Reidel, Dordrecht. 1984. MR 0785005
[4] Chajda I.: A groupoid characterization of Boolean algebras. Discuss. Math., General algebra and appl., to appear. MR 2150654 | Zbl 1086.20041
Partner of
EuDML logo