Contextual logic for quantum systems

DOI10.1063/1.1819525MaRDI QIDQ3024167zbMATH OpenOpenAlexFDO

Authors H. Freytes, G. Domenech

Publication date 30 June 2005

Published in Journal of Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/quant-ph/0702023

Mathematics Subject Classification ID

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

Abstract: In this work we build a quantum logic that allows us to refer to physical magnitudes pertaining to different contexts from a fixed one without the contradictions with quantum mechanics expressed in no-go theorems. This logic arises from considering a sheaf over a topological space associated to the Boolean sublattices of the ortholattice of closed subspaces of the Hilbert space of the physical system. Differently to standard quantum logics, the contextual logic maintains a distributive lattice structure and a good definition of implication as a residue of the conjunction.

Recommendations

• Topos-based logic for quantum systems and bi-Heyting algebras
• Logic of Local Inference for Contextuality in Quantum Physics and Beyond
• Quantum contextuality implies a logic that does not obey the principle of bivalence
• Logic and quantum physics
• scientific article; zbMATH DE number 6478753

Cites work

• scientific article; zbMATH DE number 3131829 (Why is no real title available?)
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
• An obstruction-based approach to the Kochen-Specker theorem
• State property systems and closure spaces: a study of categorical equivalence
• The logic of quantum mechanics
• Topoi. The categorial analysis of logic
• Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Topos theory and consistent histories: The internal logic of the set of all consistent sets

Cited in

(14)

• Physical properties as modal operators in the topos approach to quantum mechanics
• Topos quantum logic and mixed states
• Quantum contextuality implies a logic that does not obey the principle of bivalence
• Contextual semantics in quantum mechanics from a categorical point of view
• The complete Heyting algebra of subsystems and contextuality
• Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
• Logic of Local Inference for Contextuality in Quantum Physics and Beyond
• Unscrambling the omelette of quantum contextuality. I: Preexistent properties or measurement outcomes?
• The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations
• Category-theoretic interpretative framework of the complementarity principle in quantum mechanics
• Many worlds and modality in the interpretation of quantum mechanics: an algebraic approach
• Semilattices global valuations in the topos approach to quantum mechanics
• Fuzzy propositional logic associated with quantum computational gates
• A topological study of contextuality and modality in quantum mechanics

This page was built for publication: Contextual logic for quantum systems

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