Editing Quantum logic (section)

== Sources ==
=== Historical works ===
: ''Arranged chronologically''
* {{wikicite |reference=J. von&nbsp;Neumann, ''Mathematical Foundations of Quantum Mechanics'', trans.&nbsp;Robert&nbsp;T. Beyer, ed.&nbsp;Nicholas&nbsp;A. Wheeler; Princeton University Press, 2018 (original&nbsp;1932).  pp.&nbsp;160-164.  [[JSTOR]]&nbsp;[https://www.jstor.org/stable/j.ctt1wq8zhp j.ctt1wq8zhp].  [https://archive.org/details/mathematicalfoun0000vonn 1955 edition] available at the [[Internet Archive]].|ref={{harvid|von Neumann|1932}}}}
* {{wikicite |reference=[[Garrett Birkhoff|G. Birkhoff]] and [[John von Neumann|J. von&nbsp;Neumann]], "[http://www.fulviofrisone.com/attachments/article/451/the%20logic%20of%20quantum%20mechanics%201936.pdf The Logic of Quantum Mechanics]," ''Annals of Mathematics'', series&nbsp;II, vol.&nbsp;37, issue&nbsp;4, pp.&nbsp;823–843, 1936.  JSTOR&nbsp;[https://www.jstor.org/stable/pdf/1968621.pdf 1968621].  DOI [http://dx.doi.org/10.2307/1968621 10.2307/1968621].  |ref={{harvid|Birkhoff|von Neumann|1936}}}}
* {{wikicite |reference=[[George Mackey|G. Mackey]], ''[https://archive.org/details/mathematicalfoun0000unse_t7f9 Mathematical Foundations of Quantum Mechanics]'', W.&nbsp;A.&nbsp;Benjamin, 1963.  HathiTrust&nbsp;[https://hdl.handle.net/2027/mdp.39015001329567 2027/mdp.39015001329567].|ref={{harvid|Mackey|1963}}}}
* {{wikicite |reference=[[Hilary Putnam|H. Putnam]], ''Is Logic Empirical?'', Boston Studies in the Philosophy of Science V, ed.&nbsp;Robert&nbsp;S. Cohen and Marx&nbsp;W. Wartofsky, 1969.|ref={{harvid|Putnam|1969}}}}
* {{wikicite |reference=[[Gudrun Kalmbach|G. Kalmbach]] ''Orthomodular Logic'', Z. Logik und Grundl. Math., vol. 20, 1974, pp.&nbsp;395-406.|ref={{harvid|Kalmbach|1974}}}}
* {{wikicite |reference=[[Gudrun Kalmbach|G. Kalmbach]] ''Orthomodular Logic as a Hilbert Type Calculus'', in Current Issues in Quantum Logic, Plenum Press, New York, ed. E. Beltrametti et al., 1981, pp.&nbsp;333-340|ref={{harvid|Kalmbach|1981}} }} <!--{{harvid|Ka2}}}}-->
* {{wikicite |reference=[[Gudrun Kalmbach|G. Kalmbach]] ''Orthomodular Lattices'', Academic Press, London, 1983|ref={{harvid|Kalmbach|1983}}}}

=== Modern philosophical perspectives ===
* {{wikicite |reference=Guido Bacciagaluppi, "[http://perso.ens-lyon.fr/jacques.jayez/Cours/Logique_Classique/Handbook_of_Quantum_Logic_2009.pdf Is Logic Empirical?]", in ''Handbook of Quantum Logic and Quantum Structures: Quantum Logic'', ed.&nbsp;K. Engesser, D.&nbsp;M. Gabbay, and D. Lehmann; Elsevier, 2009.  pp.&nbsp;49-78.|ref={{harvid|Bacciagaluppi|2009}}}}
* {{wikicite |reference=[[Tim Maudlin]], "The Tale of Quantum Logic" in ''[https://archive.org/details/HilaryPutnam-ContemporaryPhilosophyInFocus Hilary Putnam]''; [[Cambridge University Press]] "Contemporary Philosophy in Focus" series, 2005.  DOI:&nbsp;[http://dx.doi.org/10.1017/CBO9780511614187.006 10.1017/CBO9780511614187.006] {{ISBN|9780521012546}}.|ref={{harvid|Maudlin|2005}}}}
* {{Cite IEP|qu-logic|Quantum Logic in Historical and Philosophical Perspective|author-first1=C.|author-last1=de&nbsp;Ronde|author-first2=G.|author-last2=Domenech|author-first3=H.|author-last3=Freytes}}
* {{cite SEP |url-id=qt-quantlog |title=Quantum Logic and Probability Theory |last=Wilce |first=Alexander}}

=== Mathematical study and computational applications ===
* {{wikicite |reference=A. Baltag and S. Smets, "[https://www.cambridge.org/core/services/aop-cambridge-core/content/view/0AF9C4FCB2681EECC692859F031C80C2/S0960129506005299a.pdf/lqp_the_dynamic_logic_of_quantum_information.pdf LQP: The Dynamic Logic of Quantum Information]", ''Mathematical Structures in Computer Science'', vol.&nbsp;16, issue&nbsp;3, pp.&nbsp;491-525, 2006.  DOI&nbsp;[https://dx.doi.org/10.1017/S0960129506005299 10.1017/S0960129506005299] arXiv&nbsp;[https://arxiv.org/abs/2110.01361 2110.01361]|ref={{harvid|Baltag|Smets|2006}}}}
* {{wikicite |reference=A. Baltag, J. Bergfeld, K. Kishida, J. Sack, S. Smets and S. Zhong, "[https://link.springer.com/article/10.1007/s10773-013-1987-3 PLQP & Company: Decidable Logics for Quantum Algorithms]", ''International Journal of Theoretical Physics'', vol.&nbsp;53, issue&nbsp;10, pp.&nbsp;3628-3647, 2014.|ref={{harvid|Baltag|Bergfeld|Kishida|Sack|2014}}}}
* {{wikicite |reference=[[Maria Luisa Dalla Chiara|M.&nbsp;L. Dalla&nbsp;Chiara]] and R.&nbsp;Giuntini, "[https://core.ac.uk/download/pdf/25303784.pdf Quantum Logics]", in ''Handbook of Philosophical Logic'', vol.&nbsp;6, D.&nbsp;Gabbay and F.&nbsp;Guenthner (eds.), Kluwer, 2002.  arXiv&nbsp;[https://arxiv.org/abs/quant-ph/0101028 quant-ph/0101028]|ref={{harvid|Dalla Chiara|Giuntini|2002}}}}
* {{wikicite |reference=M.&nbsp;L. Dalla&nbsp;Chiara, R. Giuntini, and R. Leporini, "[https://link.springer.com/chapter/10.1007/978-94-017-3598-8_9 Quantum Computational Logics: A Survey]", in ''Trends in Logic'', vol.&nbsp;21, V.&nbsp;F. Hendricks and J. Malinowski (eds.), Springer, 2003.  arXiv&nbsp;[https://arxiv.org/abs/quant-ph/0305029 quant-ph/0305029]|ref={{harvid|Dalla Chiara|Giuntini|Leporini|2003}}}}
* {{wikicite |reference=Norman Megill, [http://us.metamath.org/qleuni/mmql.html Quantum Logic Explorer] at [[Metamath]], 2019.|ref={{harvid|Megill|2019}}}}
* N. Papanikolaou, "[http://wrap.warwick.ac.uk/61398/7/WRAP_cs-rr-416.pdf Reasoning Formally About Quantum Systems: An Overview]", ''ACM SIGACT News'', 36(3), 2005.  pp.&nbsp;51–66.  arXiv [https://arxiv.org/abs/cs/0508005 cs/0508005].

=== Quantum foundations ===
* D. Cohen, ''An Introduction to Hilbert Space and Quantum Logic'', Springer-Verlag, 1989. Elementary and well-illustrated; suitable for advanced undergraduates.
* {{wikicite |reference=Günther Ludwig, ''Der Grundlagen der Quantenmechanik'' (in German), Springer, 1954.  The definitive work.  Released in English as: <ul><li>Günther Ludwig, ''[https://archive.org/details/foundations-of-quantum-mechanics-i-g.-ludwig-c.-a.-hein Foundations of Quantum Mechanics]'', vol.&nbsp;1, trans.&nbsp;Carl&nbsp;A. Hein; Springer-Verlag, 1983.</li><li>Günther Ludwig, ''An Axiomatic Basis for Quantum Mechanics'', vol.&nbsp;1: "Derivation of Hilbert Space Structure", trans.&nbsp;Leo&nbsp;F. Boron, ed.&nbsp;Karl Just; Springer, 1985.  DOI:&nbsp;[http://dx.doi.org/10.1007/978-3-642-70029-3 10.1007/978-3-642-70029-3].  {{ISBN|978-3-642-70029-3}}.</li></ul>|ref={{harvid|Ludwig|1954}}}}  
* {{wikicite |reference={{nlab|id=quantum+logic|title=Quantum Logic}}|ref={{harvid|nLab}}}}
* {{wikicite |reference=[[Constantin Piron|C. Piron]], ''Foundations of Quantum Physics'',  W.&nbsp;A.&nbsp;Benjamin, 1976.|ref={{harvid|Piron|1976}}}}

{{wiktionary|quantum logic}}
{{Quantum mechanics topics}}
{{emerging technologies|quantum=yes|other=yes}}

{{DEFAULTSORT:Quantum Logic}}
[[Category:Mathematical logic]]
[[Category:Systems of formal logic]]
[[Category:Non-classical logic]]
[[Category:Applications of quantum mechanics]]