The geometric semantics of algebraic quantum mechanics

Abstract

In this paper we will present an ongoing project which aims to use model theory as a suitable mathematical setting for studying the formalism of quantum mechanics. We will argue that this approach provides a geometric semantics for such formalism by means of establishing a (non-commutative) duality between certain algebraic and geometric objects.

References in corpus (2)

• A Topos Foundation for Theories of Physics: I. Formal Languages for Physics
• The semantics of the canonical commutation relation

Cited by in corpus (2)

• Quantum mechanics in a metric sheaf: a model theoretic approach
• Model theory and geometry of representations of rings of integers