Orthomodularity is not elementary
From MaRDI portal
Publication:3722500
DOI10.2307/2274172zbMath0593.03042OpenAlexW2085238965MaRDI QIDQ3722500
Publication date: 1984
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274172
Logical aspects of lattices and related structures (03G10) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Properties of classes of models (03C52)
Related Items (26)
Empirical logics ⋮ Probabilistic forcing in quantum logics ⋮ Proof theory for minimal quantum logic. I ⋮ Boolean machinery for quantum logics ⋮ Orthosystems of submodules of a module ⋮ Automatic proofs and counterexamples for some ortholattice identities ⋮ Disjunction and negation in information based semantics ⋮ Minimal quantum logic with merged implications ⋮ Complete axiomatizations for quantum actions ⋮ The dynamic turn in quantum logic ⋮ First-order frames for orthomodular quantum logic ⋮ Topological duality for orthomodular lattices ⋮ Probability logics for reasoning about quantum observations ⋮ A topological study of contextuality and modality in quantum mechanics ⋮ Quantum-like logics and schizophrenia ⋮ On the modal logic of the non-orthogonality relation between quantum states ⋮ Bibliography on quantum logics and related structures ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ A new axiomatization of unified quantum logic ⋮ Nonordered quantum logic and its YES-NO representation ⋮ Quantum logic as a dynamic logic ⋮ Modal-type orthomodular logic ⋮ 1982 news about orthomodular lattices ⋮ Orthogonality spaces and atomistic orthocomplemented lattices ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics ⋮ Quantum monadic algebras
Cites Work
This page was built for publication: Orthomodularity is not elementary
