Editing Quantum logic (section)

== Relationship to other logics ==
Quantum logic embeds into [[linear logic]]<ref name=linear>Vaughan Pratt, "[http://boole.stanford.edu/pub/ql.pdf Linear logic for generalized quantum mechanics]," in ''Work&shy;shop on Physics and Computation (PhysComp '92)'' proceedings.  See also the dis&shy;cuss&shy;ion at [[#{{harvid|nLab}}|''n''Lab]], [http://ncatlab.org/nlab/revision/quantum%20logic/42 Revision 42], which cites G.D. Crown, "On some orthomodular posets of vector bundles," ''Journ. of Natural Sci. and Math.'', vol.&nbsp;15 issue 1-2: pp.&nbsp;11–25, 1975.</ref> and the [[modal logic]] ''B''.{{sfn|Dalla&nbsp;Chiara|Giuntini|2002}}  Indeed, modern logics for the analysis of quantum computation often begin with quantum logic, and attempt to graft desirable features of an extension of classical logic thereonto; the results then necessarily embed quantum logic.{{sfn|Baltag|Smets|2006}}{{sfn|Baltag|Bergfeld|Kishida|Sack|2014}}

The orthocomplemented lattice of any set of quantum propositions can be embedded into a Boolean algebra, which is then amenable to classical logic.<ref>Jeffery Bub and William Demopoulos, "The Interpretation of Quantum Mechanics," in ''[https://archive.org/details/logicalepistemol0000unse Logical and Epistemological Studies in Contemporary Physics]'', Boston Studies in the Philosophy of Science 13, ed.&nbsp;Robert&nbsp;S. Cohen and Marx&nbsp;W. Wartofsky; D.&nbsp;Riedel, 1974.  pp.&nbsp;92-122.  DOI:&nbsp;[http://dx.doi.org/10.1007/978-94-010-2656-7 10.1007/978-94-010-2656-7].  {{ISBN|978-94-010-2656-7}}.</ref>