In this paper, we will present an ongoing project that aims to use model theory as a suitable mathematical setting for studying the formalism of quantum mechanics. We argue that this approach provides a geometric semantics for such a formalism by means of establishing a (non-commutative) duality between certain algebraic and geometric objects.
One contribution of 13 to a theme issue ‘New geometric concepts in the foundations of physics’.
- Accepted February 11, 2015.
- © 2015 The Author(s) Published by the Royal Society. All rights reserved.