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

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 (5)

• A Topos Foundation for Theories of Physics: II. Daseinisation and the Liberation of Quantum Theory
• A topos for algebraic quantum theory
• The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach
• Contextual logic for quantum systems
• A Categorial Semantic Representation of Quantum Event Structures