Fetching the paper…
Reading the bibliography…
We put forward a new take on the logic of quantum mechanics, following Schroedinger's point of view that it is composition which makes quantum theory what it is, rather than its particular propositional structure due to the existence of superpositions, as proposed by Birkhoff and von Neumann.
Discussion of probability relations between separated systems
E. Schrödinger · 1935
Earlier work this paper cites.
The logic of quantum mechanics
G. Birkhoff and J. von Neumann · 1936
Earlier work this paper cites.
Die syntaktische konnexität
K. Ajdukiewicz · 1937
Earlier work this paper cites.
General theory of natural equivalences
S. Eilenberg and S. Mac Lane · 1945
Earlier work this paper cites.
The Principles of Quantum Mechanics (third edition)
P. A. M. Dirac · 1947
Earlier work this paper cites.
A quasiarithmetical notation for syntactic description
Y. Bar-Hillel · 1953
Earlier work this paper cites.
Tree models for the description of language
N. Chomsky · 1956
Earlier work this paper cites.
The mathematics of sentence structure
J. Lambek · 1958
Earlier work this paper cites.
Categories avec multiplication
J. Benabou · 1963
Earlier work this paper cites.
Natural associativity and commutativity
S. Mac Lane · 1963
Earlier work this paper cites.
The mathematical foundations of quantum mechanics
G. M. Mackey · 1963
Earlier work this paper cites.
Applications of negative dimensional tensors
R. Penrose · 1971
Earlier work this paper cites.
Operational statistics. I. Basic concepts
D. J. Foulis and C. H. Randall · 1972
Earlier work this paper cites.
Philosophical Investigations
L. Wittgenstein · 1972
Earlier work this paper cites.
Foundations of quantum physics
C. Piron · 1976
Earlier work this paper cites.
Coherence for compact closed categories
G. M. Kelly and M. L. Laplaza · 1980
Earlier work this paper cites.
Cartesian bicategories I
A. Carboni and R. F. C. Walters · 1987
Earlier work this paper cites.
Linear logic
J.Y. Girard · 1987
Earlier work this paper cites.
Topological quantum field theories
M. Atiyah · 1988
Earlier work this paper cites.
Introduction to higher order categorical logic, volume 7
J. Lambek and P.J. Scott · 1988
Earlier work this paper cites.
Linear logic,
R. A. G. Seely · 1989
Earlier work this paper cites.
The geometry of tensor calculus I
A. Joyal and R. Street · 1991
Earlier work this paper cites.
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
C.H. Bennett, G. Brassard, C. Crepeau, R. Jozsa, A. Peres, and W.K. Wootters · 1993
Earlier work this paper cites.
Event-ready-detectors Bell experiment via entanglement swapping
M. Zukowski, A. Zeilinger, M. A. Horne, and A. K. Ekert · 1993
Earlier work this paper cites.
Higher-dimensional algebra and topological quantum field theory
J.C. Baez and J. Dolan · 1995
Earlier work this paper cites.
Deterministic evolutions and Schrödinger flows
Cl-.A. Faure, D.J. Moore, and C. Piron · 1995
Earlier work this paper cites.
Why John von Neumann did not like the Hilbert space formalism of quantum mechanics (and what he liked instead)
M. Redei · 1996
Cited alongside, same era.
Classical and quantum structuralism
B. Coecke, E.O. Paquette, and D. Pavlovic · 1997
Cited alongside, same era.
Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer
P. W. Shor · 1997
Cited alongside, same era.
Automatic word sense discrimination
H. Schütze · 1998
Cited alongside, same era.
Type grammar revisited
J. Lambek · 1999
Cited alongside, same era.
On state spaces and property lattices
D. J. Moore · 1999
Cited alongside, same era.
Probabilistic theories with purification
G. Chiribella, G.M. DÕAriano, and P. Perinotti · 2010
Later among the works it cites.
The compositional structure of multipartite quantum entanglement
B. Coecke and A. Kissinger · 2010
Later among the works it cites.
Environment and classical channels in categorical quantum mechanics
B. Coecke and S. Perdrix · 2010
Later among the works it cites.
Mathematical foundations for a compositional distributional model of meaning
B. Coecke, M. Sadrzadeh, and S. Clark · 2010
Later among the works it cites.
Rewriting measurement-based quantum computations with generalised flow
R. Duncan and S. Perdrix · 2010
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Operational Galois adjunctions
B. Coecke and D.J. Moore · 2000
Cited alongside, same era.
Operational quantum logic: An overview
B. Coecke, D.J. Moore, and A. Wilce · 2000
Cited alongside, same era.
A categorical semantics of quantum protocols
S. Abramsky and B. Coecke · 2004
Cited alongside, same era.
Frobenius algebras and 2D topological quantum field theories, volume 59
J. Kock · 2004
Cited alongside, same era.
Composing PROPs
S. Lack · 2004
Cited alongside, same era.
Abstract physical traces
S. Abramsky and B. Coecke · 2005
Cited alongside, same era.
L. Hardy · 2010
Later among the works it cites.
Introduction to categories and categorical logic
S. Abramsky and N. Tzevelekos · 2011
Later among the works it cites.
Physics, topology, logic and computation: a Rosetta stone
J.C. Baez and M. Stay · 2011
Later among the works it cites.
Informational derivation of quantum theory
G. Chiribella, G.M. DÕAriano, and P. Perinotti · 2011
Later among the works it cites.
Interacting quantum observables: categorical algebra and diagrammatics
B. Coecke and R. Duncan · 2011
Later among the works it cites.
Phase groups and the origin of non-locality for qubits
B. Coecke, B. Edwards, and R.W. Spekkens · 2011
Later among the works it cites.
Categories for the practicing physicist
B. Coecke and E. O. Paquette · 2011
Later among the works it cites.
A new description of orthogonal bases
B. Coecke, D. Pavlovic, and J. Vicary · 2011
Later among the works it cites.
Picturing classical and quantum Bayesian inference
B. Coecke and R.W. Spekkens · 2011
Later among the works it cites.
quantomatic
L. Dixon, R. Duncan, B. Frot, A. Merry, A. Kissinger, and M. Soloviev · 2011
Later among the works it cites.
Open graphs and monoidal theories
L. Dixon and A. Kissinger · 2011
Later among the works it cites.
Experimental support for a categorical compositional distributional model of meaning
E. Grefenstette and M. Sadrzadeh · 2011
Later among the works it cites.
Deep Beauty: Understanding the Quantum World Through Mathematical Innovation
H. Halvorson · 2011
Later among the works it cites.
Quantum picturalism for topological cluster-state computing
C. Horsman · 2011
Later among the works it cites.
Conjecture synthesis for inductive theories
M. Johansson, L. Dixon, and A. Bundy · 2011
Later among the works it cites.
Bell states and negative sentences in the distributed model of meaning
A. Preller and M. Sadrzadeh · 2011
Later among the works it cites.
Finite dimensional Hilbert spaces are complete for dagger compact closed categories (extended abstract)
P. Selinger · 2011
Later among the works it cites.
Entangled and sequential quantum protocols with dephasing
S. Boixo and C. Heunen · 2012
Closest in time.
Strong complementarity and non-locality in categorical quantum mechanics
B. Coecke, R. Duncan, A. Kissinger, and Q. Wang · 2012
Closest in time.
Synthesising graphical theories
A. Kissinger · 2012
Closest in time.