The following pages link to Orthomodularity is not elementary (Q3722500):
Displaying 26 items.
- Automatic proofs and counterexamples for some ortholattice identities (Q293265) (← links)
- The dynamic turn in quantum logic (Q383006) (← links)
- Quantum-like logics and schizophrenia (Q420845) (← links)
- Quantum logic as a dynamic logic (Q542128) (← links)
- A new axiomatization of unified quantum logic (Q685166) (← links)
- Nonordered quantum logic and its YES-NO representation (Q689309) (← links)
- 1982 news about orthomodular lattices (Q759779) (← links)
- Complete axiomatizations for quantum actions (Q861649) (← links)
- Minimal quantum logic with merged implications (Q1101108) (← links)
- Bibliography on quantum logics and related structures (Q1184069) (← links)
- Empirical logics (Q1325652) (← links)
- Probabilistic forcing in quantum logics (Q1325670) (← links)
- Proof theory for minimal quantum logic. I (Q1325718) (← links)
- Boolean machinery for quantum logics (Q1325723) (← links)
- On the modal logic of the non-orthogonality relation between quantum states (Q1711507) (← links)
- Disjunction and negation in information based semantics (Q2148806) (← links)
- A topological study of contextuality and modality in quantum mechanics (Q2426181) (← links)
- Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators (Q3305430) (← links)
- Modal-type orthomodular logic (Q3632528) (← links)
- Orthogonality spaces and atomistic orthocomplemented lattices (Q4290235) (← links)
- First-order frames for orthomodular quantum logic (Q4586154) (← links)
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics (Q5027243) (← links)
- Quantum monadic algebras (Q5876988) (← links)
- Orthosystems of submodules of a module (Q5887168) (← links)
- Topological duality for orthomodular lattices (Q6096727) (← links)
- Probability logics for reasoning about quantum observations (Q6113689) (← links)
