Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras
Quantum Physics
2013-12-06 v2
Abstract
To each quantum system, described by a von Neumann algebra of physical quantities, we associate a complete bi-Heyting algebra. The elements of this algebra represent contextualised propositions about the values of the physical quantities of the quantum system.
Cite
@article{arxiv.1202.2750,
title = {Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras},
author = {Andreas Doering},
journal= {arXiv preprint arXiv:1202.2750},
year = {2013}
}
Comments
22 pages, no figures; v2: improved presentation, minor correction, all main results unchanged, added example. Accepted for publication in Logic & Algebra in Quantum Computing, Lecture Notes in Logic, published by the Association for Symbolic Logic in conjunction with Cambridge University Press