The following pages link to (Q4342085):
Displaying 24 items.
- Classical logic and quantum logic with multiple and common lattice models (Q504691) (← links)
- Partial and unsharp quantum logics. (Q541832) (← links)
- Automata theory based on quantum logic: Some characterizations (Q598192) (← links)
- Does science influence the logic we ought to use: A reflection on the quantum logic controversy (Q609635) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Generalised quantum weakest preconditions (Q993477) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- Brouwer-Zadeh logic, decidability and bimodal systems (Q1194108) (← links)
- Strong versus weak quantum consequence operations (Q1194110) (← links)
- Fuzzy intuitionistic quantum logics (Q1313085) (← links)
- Empirical logics (Q1325652) (← links)
- Proof theory for minimal quantum logic. I (Q1325718) (← links)
- Fuzzy quantum logic. II: The logics of unsharp quantum mechanics (Q1330281) (← links)
- An intensional Schrödinger logic (Q1381433) (← links)
- Extended quantum logic (Q1411360) (← links)
- Quantum number theory (Q1770337) (← links)
- The Leibniz principle in quantum logic (Q1823938) (← links)
- A logic for quantum register measurements (Q2306145) (← links)
- A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations (Q2401638) (← links)
- Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness (Q2658032) (← links)
- Lattice-theoretic models of conjectures, hypotheses and consequences (Q2676587) (← links)
- Three-valued logic, indeterminacy and quantum mechanics (Q5935789) (← links)
- Bounded lattice expansions (Q5936163) (← links)
- Quantum logic, Hilbert space, revision theory (Q5958493) (← links)
