36 citations · 43 across the 3 of their papers we have counts for
Showing 2000 · math.LOShow all
2 papers · 2 filters
math.LO2000
Disjunctive Quantum Logic in Dynamic Perspective
Bob Coecke
In arXiv: math.LO/0011208 we proposed the {\sl intuitionistic or disjunctive representation of quantum logic}, i.e., a representation of the property lattice of physical systems as…
math.LO2000
Quantum Logic in Intuitionistic Perspective
Bob Coecke
In their seminal paper Birkhoff and von Neumann revealed the following dilemma: "... whereas for logicians the orthocomplementation properties of negation were the ones least able…