Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras
  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. 
Andreas Doering
quant-ph