45 citations · 45 across the 2 of their papers we have counts for
2 papers
quant-ph2009★ 45 cited
Intuitionistic quantum logic of an n-level system
Martijn Caspers, Chris Heunen, Nicolaas P. Landsman +1
A decade ago, Isham and Butterfield proposed a topos-theoretic approach to quantum mechanics, which meanwhile has been extended by Doering and Isham so as to provide a new mathemat…
math.LO2007
Locatedness and overt sublocales
Bas Spitters
Locatedness is one of the fundamental notions in constructive mathematics. The existence of a positivity predicate on a locale, i.e. the locale being overt, or open, has proved to…