Hilbert lattice equations (Q625073)

Lattices of subspaces of a Hilbert spaces are known to be (only some) orthomodular lattices admitting sets of states (= probability measures) which are \textit{strong}, i.e., \(a\not\leq b \Rightarrow \exists\) state \(m: m(a)=1>m(b)\). It is a long task to find (necessarily infinite) systems of equations which characterize Hilbert lattices. The authors study five systems of equations in orthomodular lattices which hold in Hilbert lattices and induce the existence of strong sets of (possibly vector-valued) states. These systems are taken from previous papers, mainly from [\textit{R. Mayet}, ``Ortholattice equations and Hilbert lattices'', Handbook of quantum logic and quantum structure. Quantum structures. Amsterdam: Elsevier. 525--554 (2007; Zbl 1126.81012)]. Using new powerful computer programs, implications or equivalences are proved between some of these classes. Examples are constructed which prove independence of some sets of equations. Open problems are mentioned, too. The paper is difficult to read because of strange notation -- the authors ignore the arity of operations, etc. Nevertheless, the deep contribution is worth the effort to understand.