Equational bases for some varieties of orthomodular lattices related to states
In his former paper [Algebra Univers. 20, 368-396 (1985; Zbl 0581.06006)] the author studied varieties of orthomodular lattices which were determined by conditions on states. In this paper he considers equations valid in those varieties and shows that many of the varieties admit a recursive equational base. He also develops a constructive procedure for obtaining an equation valid in a given finite orthomodular lattice outside a variety.
scientific article; zbMATH DE number 4002145
scientific article