First-order frames for orthomodular quantum logic

DOI10.1080/11663081.2016.1174361zbMATH Open1398.03211OpenAlexW2438309279MaRDI QIDQ4586154FDOQ4586154

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

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

zbMATH Keywords

quantum logicorthomodularityorthologicelementary frames

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Orthomodularity is not elementary
• Canonical extensions and Kripke-Galois semantics for non-distributive logics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• Title not available (Why is that?)
• 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)