Physical properties as modal operators in the topos approach to quantum mechanics

DOI10.1007/s10701-014-9842-9zbMath1314.81022arXiv1412.6809OpenAlexW1992447109MaRDI QIDQ2342695

Christian de Ronde, Hector Freytes, Graciela Domenech

Publication date: 29 April 2015

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

Full work available at URL: https://arxiv.org/abs/1412.6809

zbMATH Keywords

modal operatorsintuitionistic quantum logicquantum phase spaces

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Modal logic (including the logic of norms) (03B45) Phase-space methods including Wigner distributions, etc. applied to problems in quantum mechanics (81S30) Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (1)

Semilattices global valuations in the topos approach to quantum mechanics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The paraconsistent logic of quantum superpositions
• A categorial semantic representation of quantum event structures
• A topos for algebraic quantum theory
• Construction of a structure which enables to describe the joint system of a classical system and a quantum system
• A mathematical condition for a sublattice of a propositional system to represent a physical subsystem, with a physical interpretation
• Modal operators on Heyting algebras
• Tensor product of difference posets and effect algebras
• Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
• The logic of quantum mechanics
• “What is a Thing?”: Topos Theory in the Foundations of Physics
• THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
• Contextual logic for quantum systems
• Tensor product of quantum logics
• Modal-type orthomodular logic
• Compositional Quantum Logic
• The sheaf-theoretic structure of non-locality and contextuality
• A quantum logical and geometrical approach to the study of improper mixtures
• A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
• Aspects of topoi

This page was built for publication: Physical properties as modal operators in the topos approach to quantum mechanics