4 papers
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…
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…
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…
Operational quantum logic: An overview
Bob Coecke, David Moore, Alexander Wilce
The term quantum logic has different connotations for different people, having been considered as everything from a metaphysical attack on classical reasoning to an exercise in abs…