Quantum logic refers either to
any formal framework which is supposed to be able to express the statements whose semantics is the totality of all what is verifiable by measurement in a quantum system;
the quantum logic of von Neumann in which the propositions are given by projections to closed subspaces of a Hilbert space;
the engineering units of quantum computing (analogue of logical gates in the usual computing).
It is based on the setting the Hilbert lattice (of closed suspaces of a Hilbert space) to represent the set of propositions of quantum system.
…
See at Bohr topos for more.
(…)
Related entries quantum mechanics, Kochen-Specker theorem, Gleason's theorem, quantale, Bohrification
Stanford encyclopaedia of philosophy: quantum logic and probability theory, quantum mechanics (abbrev. qm), qm: Kochen-Specker theorem, qm: von Neumann vs. Dirac, qm: Bohmian mechanics, qm:colapse theories, Copenhagen interpretation of qm, many-world interpretation of qm, modal-interpretations of qm, Everett’s relative-state formulation of qm
G. Birkhoff, John von Neumann, The logic of quantum mechanics, Annals of Mathematics, 37: 823-843 (1936)
I. Pitowsky, Quantum probability — quantum logic, Springer Lecture Notes in Physics 321
A. Gleason, Measures on the closed subspaces of a Hilbert space, Journal of Mathematics and Mechanics 6: 885-893 (1957)
Samuel S. Holland Jr., Orthomodularity in infinite dimensions; a theorem of M. Solèr, Bull. Amer. Math. Soc. (N.S.) 32 (1995) 205-234, arXiv:math.RA/9504224
Yu. Manin, A course in mathematical logic, Springer
Д.И. Блохинцев, Принципиальные вопросы квантовой механики, 1966, 162 с.
Chris Heunen, Klaas Landsman, Bas Spitters, A topos for algebraic quantum theory, Comm. Math. Phys. 291:63–110, 2009, free access doi, arXiv:0709.4364
A. Sudbery, Quantum mechanics and the particles of nature, An outline for mathematicians, Camb. Univ. Press 1986
Steve Vickers, slides from Midland Grad. School 2010, quantum topos theory, web, most relevant part IV: pdf