First-order frames for orthomodular quantum logic

DOI10.1080/11663081.2016.1174361MaRDI QIDQ4586154zbMATH OpenOpenAlexFDO

Authors 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

elementary framesorthologicorthomodularityquantum logic

Mathematics Subject Classification ID

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

Recommendations

• Orthomodularity is not elementary
• scientific article; zbMATH DE number 4068866
• Advanced Kripke frame for quantum logic
• scientific article; zbMATH DE number 3880686
• Modular almost orthogonal quantum logics

Cites work

• A remark on Piron's paper
• Complete axiomatizations for quantum actions
• Duality for lattice-ordered algebras and for normal algebraizable logics
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• Modal and temporal extensions of non-distributive propositional logics
• Orthomodularity is not elementary
• Quantum logic as motivated by quantum computing
• Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
• Semantic analysis of orthologic

Cited in

(5)

• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Orthomodularity is not elementary
• scientific article; zbMATH DE number 4068866 (Why is no real title available?)
• Topological duality for orthomodular lattices

This page was built for publication: First-order frames for orthomodular quantum logic

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