Contextual logic for quantum systems

DOI10.1063/1.1819525zbMATH Open1076.81003arXivquant-ph/0702023OpenAlexW3102635723MaRDI QIDQ3024167FDOQ3024167

Authors: H. Freytes, G. Domenech 

Publication date: 30 June 2005

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

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.

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

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

Mathematics Subject Classification ID

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

Cites Work

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

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
• The complete Heyting algebra of subsystems and contextuality
• Contextual semantics in quantum mechanics from a categorical point of view
• 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)