An equational theory for \(\sigma \)-complete orthomodular lattices

  • Hector FreytesEmail author


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.


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

Ethical approval

This article does not contain any studies with human participants or animals performed by any of the authors


  1. Beran L (1985) Orthomodular lattices. Algebraic approach. Kluwer, DordrechtCrossRefGoogle Scholar
  2. Birkhoff G, von Neumann J (1936) The logic of quantum mechanics. Ann Math 27:823–843MathSciNetCrossRefGoogle Scholar
  3. Burris S, Sankappanavar HP (1981) A course in universal algebra, graduate text in mathematics, vol 78. Springer, New YorkzbMATHGoogle Scholar
  4. Kalman JA (1958) Lattices with involution. Trans Am Math Soc 87:485–491MathSciNetCrossRefGoogle Scholar
  5. Kalmbach G (1974) Orthomodular logic. Z Math Logik Grundl Math 20:395–406MathSciNetCrossRefGoogle Scholar
  6. Kalmbach G (1983) Ortomodular lattices. Academic Press, LondonzbMATHGoogle Scholar
  7. Maeda F, Maeda S (1970) Theory of symmetric lattices. Springer, BerlinCrossRefGoogle Scholar
  8. Słomiński J (1959) The theory of abstract algebras with infinitary operations. Rozprawy Matematyczne 18:1–67MathSciNetzbMATHGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Department of PhilosophyUniversity of CagliariCagliariItaly
  2. 2.Department of MathematicsUniversity of CagliariCagliariItaly

Personalised recommendations