Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras
classification
🪐 quant-ph
keywords
algebraquantumbi-heytingphysicalquantitiessystemalgebrasassociate
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.