First-order frames for orthomodular quantum logic

DOI10.1080/11663081.2016.1174361zbMath1398.03211OpenAlexW2438309279MaRDI QIDQ4586154

Chrysafis Hartonas

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2016.1174361

zbMATH Keywords

orthomodularityquantum logicorthologicelementary frames

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items

Canonical extensions and Kripke-Galois semantics for non-distributive logics, Topological duality for orthomodular lattices, Order-dual relational semantics for non-distributive propositional logics: a general framework

Cites Work

• Unnamed Item
• Complete axiomatizations for quantum actions
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Semantic analysis of orthologic
• Handbook of philosophical logic. Vol. 6
• Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators
• Orthomodularity is not elementary
• Modal and temporal extensions of non-distributive propositional logics
• A remark on Piron's paper
• Quantum logic as motivated by quantum computing