Equationally definable implication algebras for orthomodular lattices
From MaRDI portal
Publication:1153907
DOI10.1007/BF00373094zbMath0464.03053MaRDI QIDQ1153907
Publication date: 1980
Published in: Studia Logica (Search for Journal in Brave)
Logical aspects of lattices and related structures (03G10) Modular lattices, Desarguesian lattices (06C05) Quantum logic (03G12)
Related Items
Bibliography on quantum logics and related structures, A new axiomatization of unified quantum logic, New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions
Cites Work