Showing quant-phShow all
2 papers · 1 filter
quant-ph2021
Logical aspects of quantum structures
John Harding, Zhenghan Wang
We survey several problems related to logical aspects of quantum structures. In particular, we consider problems related to completions, decidability and axiomatizability, and embe…
quant-ph2019
Topos quantum theory with short posets
John Harding, Chris Heunen
Topos quantum mechanics, developed by Isham et. al., creates a topos of presheaves over the poset V(N) of abelian von Neumann subalgebras of the von Neumann algebra N of bounded op…