  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.
