The following pages link to Orthomodular Logic (Q4149443):
Displayed 16 items.
- Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Cut elimination and word problems for varieties of lattices (Q786808) (← links)
- What is quantum logic? (Q793727) (← links)
- Minimal quantum logic with merged implications (Q1101108) (← links)
- An axiom system for orthomodular quantum logic (Q1160172) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- Strong versus weak quantum consequence operations (Q1194110) (← links)
- A general approach to non-distributive logics (Q1228609) (← links)
- Empirical logics (Q1325652) (← links)
- An equational theory for \(\sigma \)-complete orthomodular lattices (Q2156426) (← links)
- A theory of computation based on quantum logic. I (Q2575078) (← links)
- The deduction theorem for quantum logic—some negative results (Q3480040) (← links)
- Weakly orthomodular and dually weakly orthomodular posets (Q4609521) (← links)
- A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC (Q6148471) (← links)
- Lattice-valued general orthomodular automata (Q6163511) (← links)