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

TL;DR

This paper explores how physical properties in quantum mechanics can be represented using modal operators within the topos framework, enabling a classical perspective on quantum properties.

Contribution

It introduces a novel representation of quantum properties via modal operators on Heyting algebras in the topos approach.

Findings

Provides a modal operator-based representation of quantum properties

Enables a classical interpretation of quantum properties

Bridges quantum and classical logical frameworks

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.