Quasivarieties of orthomodular lattices determined by conditions on states (Q5950763)

Classes of orthomodular lattices which satisfy certain state and polynomial conditions are considered. A mapping \(s:L\longrightarrow [0,1]\) (\(L\) is an OML) is called a state if \(s(1)=1\) and \(s(a\vee b)=s(a)+s(b)\) provided \(a\leq b'.\) The following classes of OMLs are introduced: let \(n\in {\mathbb N}\) be a natural number and let \(\phi(x_1,\dots ,x_n)\) be a polynomial in the language of OMLs. Let further \(J\) be a nonempty closed subset of \([0,1]^n.\) Denote by \(L(\phi ,J)\) the class of OMLs defined by the property \(L\in L(\phi ,J)\) if for any \(n\)-tuple \((q_1,\dots ,q_n)\in L^n\) such that \(\phi(q_1,\dots ,q_n)\neq 0,\) there exists a state \(s\) such that \((s(q_1),\dots ,s(q_n))\in J.\) The main theorem of the paper shows that the classes \(L(\phi ,J)\) are quasivarieties. Many interesting examples of quasivarieties of this kind are given and they are described in terms of equational implications.