@Article{         Doering,
  Author        = "Doering, Andreas",
  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.",
  date-added    = "2013-05-18 08:30:26 +0000",
  date-modified = "2013-05-18 08:30:31 +0000",
  EPrint        = "1202.2750",
  Keywords      = "Heyting algebras",
  Month         = "02",
  Title         = "Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras",
  URL           = "http://arxiv.org/abs/1202.2750",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1202.2750",
  File          = "Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras - Doering (0) (0) - a - a - t.pdf"
}

@Article{ Doering, Author = "Doering, Andreas", 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.", date-added = "2013-05-18 08:30:26 +0000", date-modified = "2013-05-18 08:30:31 +0000", EPrint = "1202.2750", Keywords = "Heyting algebras", Month = "02", Title = "Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras", URL = "http://arxiv.org/abs/1202.2750", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1202.2750", File = "Topos-Based Logic for Quantum Systems and Bi-Heyting Algebras - Doering (0) (0) - a - a - t.pdf" }