This note answers questions on whether three identities known to hold for orthomodular lattices are true also for ortholattices. One identity is shown to ...
The paper answers questions on whether three identities known to hold for orthomodular lattices are true also for ortholattices. One is shown to fail by ...
Oct 9, 1997 · This note answers questions on whether three identities known to hold for orthomodular lattices are true also for ortholattices.
We als describe the lattice of some subvarieties of the variety MOLex defined by so called exte nally compatible identities of modular ortholattices. ... r by the ...
An \emph{orthomodular lattice} is an ortholattice L=⟨L,∨,0,∧,1,′⟩ such that the orthomodular law holds: x≤y⟹x∨(x′∧y)=y.
Missing: Three | Show results with:Three
Considering an identity g = h in the language of ortholattices we may replace ... [39] M.S. Roddy, Varieties of modular ortholattices, Order 3 (1987), 405-426.
Missing: Three | Show results with:Three
Jul 19, 2013 · Let L be an atomic ortholattice. We say that two elements a and b of L are orthogonal if a≤b⊥. If L is orthomodular then every element of L can ...
As we have seen above, the class of all ortholattices is defined by a set of identities, which means that the class forms a variety. This variety is de noted by ...
Oct 30, 2003 · Abstract. Short single axioms for ortholattices, orthomodular lattices, and mod- ular ortholattices are presented, all in terms of the ...
ABSTRACT. Every lattice, and ortholattice, can be represented as the closed elements of some Galois connection on a Boolean algebra. The canonical extension.
Missing: Three | Show results with:Three