Fetching the paper…
Reading the bibliography…
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels.
An algebra of additive relations
S. Mac Lane · 1961
Earlier work this paper cites.
Korrespondenzen in abelschen Kategorien
Dieter Puppe · 1962
Earlier work this paper cites.
Quantifiers and orthomodular lattices
M. F. Janowitz · 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.
Categories for the Working Mathematician
S. Mac Lane · 1971
Earlier work this paper cites.
On some orthomodular posets of vector bundles
G.D. Crown · 1975
Earlier work this paper cites.
Foundations of quantum physics
Constantin Piron · 1976
Earlier work this paper cites.
Doctrines in categorical logic
A. Kock and G.E. Reyes · 1977
Earlier work this paper cites.
First Order Categorical Logic
M. Makkai and G.E. Reyes · 1977
Earlier work this paper cites.
Stone Spaces
P.T. Johnstone · 1982
Earlier work this paper cites.
Orthomodular Lattices
G. Kalmbach · 1983
Earlier work this paper cites.
Toposes, Triples and Theories
M. Barr and Ch. Wells · 1985
Earlier work this paper cites.
Measures and Hilbert lattices
G. Kalmbach · 1986
Earlier work this paper cites.
Monads, matrices and generalized dynamic algebra
E.G. Manes · 1989
Cited alongside, same era.
Introduction to Lattices and Order
B.A. Davey and H.A. Priestley · 1990
Cited alongside, same era.
Quantales and their applications
K.I. Rosenthal · 1990
Cited alongside, same era.
A characterization of nuclei in orthomodular and quantic lattices
L. Román and B. Rumbos · 1991
Cited alongside, same era.
Algebraically compact functors
M. Barr · 1992
Cited alongside, same era.
Handbook of Categorical Algebra
F. Borceux · 1994
Cited alongside, same era.
Sums and products of interval algebras
D. J. Foulis, R.J. Greechie, and M.K. Bennett · 1994
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.
Category Theory
S. Awodey · 2006
Later among the works it cites.
Quantum measurements without sums
B. Coecke and D. Pavlović · 2006
Later among the works it cites.
A categorical model for the geometry of interaction
E. Haghverdi and Ph. Scott · 2006
Later among the works it cites.
Orthomodularity of decompositions in a categorical setting
J. Harding · 2006
Later among the works it cites.
A characterization of quantic quantifiers in orthomodular lattices
Leopoldo Román · 2006
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.
On quantic conuclei in orthomodular lattices
L. Román and R. Zuazua · 1996
Cited alongside, same era.
Categorical Logic and Type Theory
B. Jacobs · 1999
Cited alongside, same era.
Practical Foundations of Mathematics
P. Taylor · 1999
Cited alongside, same era.
New Trends in Quantum Structures
A. Dvurečenskij and S. Pulmannová · 2000
Cited alongside, same era.
Sketches of an elephant: A topos theory compendium
P. T. Johnstone · 2002
Cited alongside, same era.
Dagger compact closed categories and completely positive maps (extended abstract)
P. Selinger · 2006
Later among the works it cites.
Compactly accessible categories and quantum key distribution
C. Heunen · 2008
Later among the works it cites.
Chris Heunen · 2008
Later among the works it cites.
A presentation of quantum logic based on an and then
D. Lehmann · 2008
Later among the works it cites.
An embedding theorem for Hilbert categories
C. Heunen · 2009
Closest in time.
Orthomodular lattices, Foulis semigroups and dagger kernel categories
B. Jacobs · 2009
Closest in time.
Categorical Quantum Models and Logics
C. Heunen · 2010
Closest in time.