Fetching the paper…
Reading the bibliography…
This paper is a sequel to arXiv:0902.2355 and continues the study of quantum logic via dagger kernel categories.
The logic of quantum mechanics
G. Birkhoff and J. von Neumann · 1936
Earlier work this paper cites.
Studies on the foundation of quantum mechanics I
K. Husimi · 1937
Earlier work this paper cites.
Baer *-semigroups
D. J. Foulis · 1960
Earlier work this paper cites.
A note on orthomodular lattices
D. J. Foulis · 1962
Earlier work this paper cites.
Relative inverses in Baer *-semigroups
D. J. Foulis · 1963
Earlier work this paper cites.
Abelian Categories: An Introduction to the Theory of Functors
P.J. Freyd · 1964
Earlier work this paper cites.
Quantum logic as an implication algebra
P. D. Finch · 1970
Earlier work this paper cites.
Residuation Theory
T.S. Blyth and M.F. Janowitz · 1972
Earlier work this paper cites.
An extension of the Stone representation for orthomodular lattices
W.H. Graves and S.A. Selesnick · 1973
Earlier work this paper cites.
K-theory. An Introduction
M. Karoubi · 1978
Earlier work this paper cites.
Tensor products of quantum logics do not exist
C. Randall and D.J. Foulis · 1979
Earlier work this paper cites.
Relating theories of the λ \lambda -calculus
D.S. Scott · 1980
Cited alongside, same era.
Orthomodular Lattices
G. Kalmbach · 1983
Cited alongside, same era.
Adjunction of semifunctors: categorical structures in nonextensional lambda calculus
S. Hayashi · 1985
Cited alongside, same era.
Introduction to higher order Categorical Logic
J. Lambek and P.J. Scott · 1986
Cited alongside, same era.
Semantics of the second order lambda calculus
B. Jacobs · 1991
Cited alongside, same era.
Gleason’s Theorem and Its Applications
A. Dvurečenskij · 1992
Cited alongside, same era.
Non-Stable Models of Linear Logic
R. Hoofman · 1992
New Trends in Quantum Structures
A. Dvurečenskij and S. Pulmannová · 2000
Later among the works it cites.
A categorical semantics of quantum protocols
S. Abramsky and B. Coecke · 2004
Later among the works it cites.
The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
B. Coecke and S. Smets · 2004
Later among the works it cites.
LQP: the dynamic logic of quantum information
A. Baltag and S. Smets · 2006
Later among the works it cites.
Dagger compact closed categories and completely positive maps (extended abstract)
P. Selinger · 2006
Later among the works it cites.
A topos foundation for theories of physics: I - IV
A. Döring and C.J. Isham · 2008
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
Sheaves in Geometry and Logic. A First Introduction to Topos Theory
S. Mac Lane and I. Moerdijk · 1992
Cited alongside, same era.
A remark on the theory of semi-functors
R. Hoofman and I. Moerdijk · 1995
Cited alongside, same era.
A topos perspective on the Kochen-Specker theorem: I. quantum states as generalized valuations
J. Butterfield and C.J. Isham · 1998
Cited alongside, same era.
Categorical Logic and Type Theory
B. Jacobs · 1999
Cited alongside, same era.
P. Selinger · 2008
Later among the works it cites.
A new description of orthogonal bases
B. Coecke, D. Pavlović, and J. Vicary · 2009
Closest in time.
Categorical Quantum Models and Logics
C. Heunen · 2009
Closest in time.
Quantum logic in dagger kernel categories
C. Heunen and B. Jacobs · 2009
Closest in time.
A topos for algebraic quantum theory
C. Heunen, N.P. Landsman, and B. Spitters · 2009
Closest in time.