Intuitionistic quantum logic of an n−level system
Martijn Caspers‚ Chris Heunen‚ Klaas Landsman and Bas Spitters
Journal
Foundations of Physics
Number
7
Pages
731−759
Publisher
Springer
Volume
39
Year
2009
Martijn Caspers‚ Chris Heunen‚ Klaas Landsman and Bas Spitters