Orthomodular Logic
From MaRDI portal
Publication:4149443
DOI10.1002/MALQ.19740202504zbMATH Open0373.02030OpenAlexW4249187807MaRDI QIDQ4149443FDOQ4149443
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
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 SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC
- A new axiomatization of unified quantum logic
- The deduction theorem for quantum logic—some negative results
- Empirical logics
- A natural deduction system for orthomodular logic
- Cut elimination and word problems for varieties of lattices
- Weakly orthomodular and dually weakly orthomodular posets
- A general approach to non-distributive logics
- 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)
