Orthomodular lattices as implication algebras
From MaRDI portal
Publication:1212483
DOI10.1007/BF00257483zbMath0294.06006MaRDI QIDQ1212483
Publication date: 1974
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Complemented lattices, orthocomplemented lattices and posets (06C15) Logical aspects of Boolean algebras (03G05) General logic (03B99)
Related Items
The Sheffer stroke operation reducts of basic algebras ⋮ Equationally definable implication algebras for orthomodular lattices ⋮ An axiom system for orthomodular quantum logic ⋮ Quasi-implication algebras. I: Elementary theory ⋮ Bibliography on quantum logics and related structures ⋮ A new axiomatization of unified quantum logic ⋮ Orthomodular lattices and quadratic spaces: A survey ⋮ The conditional in quantum logic
