Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras [PDF]
Andreas DoeringTo each quantum system, described by a von Neumann algebra of physicalView original: http://arxiv.org/abs/1202.2750
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.
No comments:
Post a Comment