1. Equational classes of Foulis semigroups and orthomodular lattices;Adams,1973
2. Residuation Theory;Blyth,1972
3. A Course in Universal Algebra, Graduate Text in Mathematics Vol. 78;Burris,1981
4. Equational characterization for two-valued states in orthomodular quantum systems;Domenech;Rep. Math. Phys.,2011
5. Reasoning in Quantum Theory, Sharp and Unsharp Quantum Logics;Dalla Chiara,2004