Editing Quantum logic (section)

=== 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].