Quasivarieties of orthomodular lattices determined by conditions on states (Q5950763)
From MaRDI portal
scientific article; zbMATH DE number 1682613
Language | Label | Description | Also known as |
---|---|---|---|
English | Quasivarieties of orthomodular lattices determined by conditions on states |
scientific article; zbMATH DE number 1682613 |
Statements
Quasivarieties of orthomodular lattices determined by conditions on states (English)
0 references
16 December 2001
0 references
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.
0 references
orthomodular lattice
0 references
state
0 references
noncompatible pairs
0 references
quasivariety
0 references