Contextual logic for quantum systems

DOI10.1063/1.1819525zbMath1076.81003arXivquant-ph/0702023OpenAlexW3102635723MaRDI QIDQ3024167

Hector Freytes, Graciela 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)

Related Items

Unscrambling the omelette of quantum contextuality. I: Preexistent properties or measurement outcomes? ⋮ A topological study of contextuality and modality in quantum mechanics ⋮ Semilattices global valuations in the topos approach to quantum mechanics ⋮ Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics ⋮ Contextual semantics in quantum mechanics from a categorical point of view ⋮ The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations ⋮ Fuzzy propositional logic associated with quantum computational gates ⋮ Category-theoretic interpretative framework of the complementarity principle in quantum mechanics ⋮ Many worlds and modality in the interpretation of quantum mechanics: An algebraic approach ⋮ Physical properties as modal operators in the topos approach to quantum mechanics

Cites Work

• Unnamed Item
• Topoi. The categorial analysis of logic
• 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
• Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
• 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
• The logic of quantum mechanics
• An obstruction-based approach to the Kochen-Specker theorem