Pages that link to "Item:Q5569432"
From MaRDI portal
The following pages link to Quantum logic as an implication algebra (Q5569432):
Displaying 24 items.
- An alternative propositional calculus for application to empirical sciences (Q609651) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Residuated semigroups and the algebraic foundations of quantum mechanics (Q861646) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- A note on Trillas' CHC models (Q1028906) (← links)
- Minimal quantum logic with merged implications (Q1101108) (← links)
- Equationally definable implication algebras for orthomodular lattices (Q1153907) (← links)
- An axiom system for orthomodular quantum logic (Q1160172) (← links)
- Quasi-implication algebras. I: Elementary theory (Q1170189) (← links)
- A characterization of nuclei in orthomodular and quantic lattices (Q1176707) (← links)
- Quantic lattices (Q1181827) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- A general approach to non-distributive logics (Q1228609) (← links)
- Stalnaker conditionals and quantum logic (Q1237722) (← links)
- The conditional in quantum logic (Q1239315) (← links)
- Quantum logic and linear logic (Q1330093) (← links)
- Notes on automata theory based on quantum logic (Q2372526) (← links)
- Orthomodular lattices and quantales (Q2505962) (← links)
- A theory of computation based on quantum logic. I (Q2575078) (← links)
- Sequential method in quantum logic (Q3877681) (← links)
- An axiomatisation of quantum logic (Q4401420) (← links)
- MATRIX-BASED LOGIC FOR APPLICATION IN PHYSICS (Q5323795) (← links)
- Discrete quantum structures. II: Examples (Q6123803) (← links)
- Discrete quantum structures. I: Quantum predicate logic (Q6203829) (← links)
