Orthomodularity is not elementary

DOI10.2307/2274172MaRDI QIDQ3722500zbMATH OpenOpenAlexFDO

Authors Robert Goldblatt

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

zbMATH Keywords

elementarily equivalent framesfirst-order logic

Mathematics Subject Classification ID

Properties of classes of models (03C52) Logical aspects of lattices and related structures (03G10) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• First-order frames for orthomodular quantum logic
• Quantum logics and Lindenbaum property
• scientific article; zbMATH DE number 1790849
• On when a semantics is not a good semantics: the algebraisation of orthomodular logic
• scientific article; zbMATH DE number 4068866

Cites work

• A remark on Piron's paper
• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• scientific article; zbMATH DE number 3348150 (Why is no real title available?)
• Semantic analysis of orthologic

Cited in

(40)

• Quantum logics and Lindenbaum property
• Minimal quantum logic with merged implications
• Bibliography on quantum logics and related structures
• Empirical logics
• Probabilistic forcing in quantum logics
• Proof theory for minimal quantum logic. I
• Boolean machinery for quantum logics
• Orthomodularity and the incompatibility of relativity and quantum mechanics
• On the modal logic of the non-orthogonality relation between quantum states
• Orthomodular lattice in Lorentzian globally hyperbolic space-time
• Advanced Kripke frame for quantum logic
• Orthomodular lattice obtained from addressing a fixed point
• Disjunction and negation in information based semantics
• A topological study of contextuality and modality in quantum mechanics
• Quantum logic is undecidable
• Automatic proofs and counterexamples for some ortholattice identities
• Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
• scientific article; zbMATH DE number 3880686 (Why is no real title available?)
• Modal-type orthomodular logic
• The dynamic turn in quantum logic
• Quantum-like logics and schizophrenia
• scientific article; zbMATH DE number 1200165 (Why is no real title available?)
• scientific article; zbMATH DE number 1283787 (Why is no real title available?)
• Orthogonality spaces and atomistic orthocomplemented lattices
• First-order frames for orthomodular quantum logic
• scientific article; zbMATH DE number 764483 (Why is no real title available?)
• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• Quantum logic as a dynamic logic
• The source of the orthomodular law
• Quantum monadic algebras
• Orthosystems of submodules of a module
• Topological duality for orthomodular lattices
• Probability logics for reasoning about quantum observations
• A new axiomatization of unified quantum logic
• Orthogonality relations and operators on bounded quasi-implication algebras
• Nonordered quantum logic and its YES-NO representation
• Orthogonal definable subspaces of Hilbert spaces: an application of Goldblatt's method
• 1982 news about orthomodular lattices
• Information-theoretic princple entails orthomodularity of a lattice
• Complete axiomatizations for quantum actions

This page was built for publication: Orthomodularity is not elementary

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3722500)