Equationally definable implication algebras for orthomodular lattices

DOI10.1007/BF00373094zbMath0464.03053MaRDI QIDQ1153907

G. N. Georgacarakos

Publication date: 1980

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

material conditionalsorthomodular logics

Mathematics Subject Classification ID

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

• Orthomodularity and relevance
• Orthomodular lattices as implication algebras
• Matrix approach in methodology of sentential calculi
• Quantum logic as an implication algebra
• Unnamed Item
• Unnamed Item