36 citations · 43 across the 3 of their papers we have counts for
9 papers · 1 filter
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…
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…
Quantaloids Describing Causation and Propagation of Physical Properties
Bob Coecke, David J. Moore, Isar Stubbe
A general principle of `causal duality' for physical systems, lying at the base of representation theorems for both compound and evolving systems, is proved; formally it is encoded…
Classical representations for quantum-like systems through an axiomatics for context dependence
Bob Coecke
We introduce a definition for a 'hidden measurement system', i.e., a physical entity for which there exist: (i) 'a set of non-contextual states of the entity under study' and (ii)…
Operational Galois adjunctions
Bob Coecke, David Moore
We present a detailed synthetic overview of the utilisation of categorical techniques in the study of order structures together with their applications in operational quantum theor…
A logical description for perfect measurements
Bob Coecke, Sonja Smets
We reconsider the description for property transitions due to perfect measurements, viewing them as a special case of general transitions that are due to an externally imposed chan…