Equationally definable implication algebras for orthomodular lattices

DOI10.1007/BF00373094zbMATH Open0464.03053MaRDI QIDQ1153907FDOQ1153907

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

• Matrix approach in methodology of sentential calculi
• Quantum logic as an implication algebra
• Orthomodular lattices as implication algebras
• Title not available (Why is that?)
• Orthomodularity and relevance
• Title not available (Why is that?)

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)