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

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

Cited in

(19)

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

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)