Physical properties as modal operators in the topos approach to quantum mechanics
arXiv:1412.6809 · doi:10.1007/s10701-014-9842-9
Abstract
In the framework of the topos approach to quantum mechanics we give a representation of physical properties in terms of modal operators on Heyting algebras. It allows us to introduce a classical type study of the mentioned properties.
References in corpus (9)
- The Sheaf-Theoretic Structure Of Non-Locality and Contextuality
- A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory
- A topos for algebraic quantum theory
- The Paraconsistent Logic of Quantum Superpositions
- The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach
- Contextual logic for quantum systems
- A quantum logical and geometrical approach to the study of improper mixtures
- A Categorial Semantic Representation of Quantum Event Structures
- Modal-type orthomodular logic