Results 111 to 120 of about 428,865 (120)

Completions of orthomodular lattices

Order, 1990
John Harding, Richard Greechie
exaly  

Orthomodular lattice obtained from addressing a fixed point

Physica D: Nonlinear Phenomena, 1999
Yukio-Pegio Gunji
exaly  

Computer proof of monotonicity of operations on orthomodular lattices

Information Sciences, 2013
Mirko Navara
exaly  

An approach to orthomodular lattices via lattices with an antitone involution

Mathematica Slovaca, 2016
Sándor Radeleczki, Ivan Chajda
exaly  

Subalgebras of Orthomodular Lattices

Order, 2010
Mirko Navara, John Harding
exaly  

An orthomodular lattice

Algebra Universalis, 1992
exaly  

Orthomodular lattices do not satisfy any special lattice equation

Archiv Der Mathematik, 1977
exaly  

A distributivity property in an orthomodular lattice

Acta Mathematica Hungarica, 1972
exaly  

A Fully Automated Derivation of the Marsden-Herman Theorem from the Foulis-Holland Theorems in Orthomodular Lattice Theory

Communications in Computer and Information Science
Jack K Horner
exaly  

Different orthomodular orthocomplementations on a lattice

Order, 1987
exaly