Equationally definable implication algebras for orthomodular lattices

DOI10.1007/BF00373094MaRDI QIDQ1153907zbMATH OpenFDO

Authors G. N. Georgacarakos

Publication date 1980

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

material conditionalsorthomodular logics

Mathematics Subject Classification ID

Quantum logic (03G12) Logical aspects of lattices and related structures (03G10) Modular lattices, Desarguesian lattices (06C05)

Cites work

• scientific article; zbMATH DE number 3477140 (Why is no real title available?)
• scientific article; zbMATH DE number 3554269 (Why is no real title available?)
• Matrix approach in methodology of sentential calculi
• Orthomodular lattices as implication algebras
• Orthomodularity and relevance
• Quantum logic as an implication algebra

Cited in

(3)

• New operations on orthomodular lattices: ``Disjunction and ``conjunction induced by Mackey decompositions
• A new axiomatization of unified quantum logic
• Bibliography on quantum logics and related structures

This page was built for publication: Equationally definable implication algebras for orthomodular lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1153907)