Comparing intuitionistic versions of quantum logic
Abstract
Comparing intuitionistic versions of quantum logic: there are (at least) two suggestions of how to apply intuitionistic logic
to quantum systems, one by Coecke using the Bruns-Lakser injective hull construction, the other by Isham, Butterfield and
Doering using the internal logic of topoi. There also is a variant of the latter by Heunen, Landsman and Spitters. The task
is to compare these approaches in mathematical and physical terms: what structures are preserved compared to standard quantum
logic? How do the constructions on posets relate to free constructions, what universal properties do they fulfil (if any)?
