Orthomodular Logic

DOI10.1002/MALQ.19740202504MaRDI QIDQ4149443zbMATH OpenOpenAlexFDO

Authors Gudrun Kalmbach

Publication date 1974

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19740202504

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Categoricity and completeness of theories (03C35) Other algebras related to logic (03G25) Modular lattices, Desarguesian lattices (06C05) General logic (03B99)

Cited in

(17)

• An axiom system for orthomodular quantum logic
• A new axiomatization of unified quantum logic
• A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
• The deduction theorem for quantum logic—some negative results
• Empirical logics
• Cut elimination and word problems for varieties of lattices
• A natural deduction system for orthomodular logic
• A general approach to non-distributive logics
• Weakly orthomodular and dually weakly orthomodular posets
• A theory of computation based on quantum logic. I
• Strong versus weak quantum consequence operations
• Classical logic and quantum logic with multiple and common lattice models
• An equational theory for \(\sigma \)-complete orthomodular lattices
• What is quantum logic?
• Lattice-valued general orthomodular automata
• Minimal quantum logic with merged implications
• Bibliography on quantum logics and related structures

This page was built for publication: Orthomodular Logic

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