Orthomodular Logic
From MaRDI portal
Publication:4149443
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)