36 citations · 43 across the 3 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2001
Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples
Bob Coecke, David J. Moore, Sonja Smets
This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics ar…
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…