113 citations · 1.3k across the 83 of their papers we have counts for
4 papers · 1 filter
Bohrification
Chris Heunen, Nicolaas P. Landsman, Bas Spitters
New foundations for quantum logic and quantum spaces are constructed by merging algebraic quantum theory and topos theory. Interpreting Bohr's "doctrine of classical concepts" math…
Bohrification of operator algebras and quantum logic
Chris Heunen, Nicolaas P. Landsman, Bas Spitters
Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hilbert space, or, more generally, on the lattice o…
Intuitionistic quantum logic of an n-level system
Martijn Caspers, Chris Heunen, Nicolaas P. Landsman +1
A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathemat…
Quantum Logic in Dagger Kernel Categories
Chris Heunen, Bart Jacobs
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The r…