Operational Quantum Logic: An Overview
作者： Bob Coecke , David Moore , Alexander Wilce
DOI: 10.1007/978-94-017-1201-9_1
关键词: Categorical quantum mechanics 、 Philosophy of logic 、 Mathematics 、 Epistemology 、 Quantum information 、 Term (logic) 、 Quantum logic 、 Computational logic 、 Pure mathematics 、 Quantum information science 、 Multimodal logic
摘要: The term quantum logic has different connotations for people, having been considered as everything from a metaphysical attack on classical reasoning to an exercise in abstract algebra. Our aim this introduction, and indeed the global of volume, is give uniform presentation what we call operational logic, highlighting both its concrete physical origins purely mathematical structure. To orient readers new subject, shall recount some historical development attempting show how sides subject have influenced enriched one another.
arxiv.org
springer.com
harvard.edu
arxiv-vanity.com
core.ac.uk 参考文章(199)
DJ Foulis, RJ Greechie, MK Bennett, The Transition to Unigroups International Journal of Theoretical Physics. ,vol. 37, pp. 45- 63 ,(1998) , 10.1023/A:1026657004880
Francis Borceux, Isar Stubbe, Short Introduction to Enriched Categories Springer, Dordrecht. pp. 167- 194 ,(2000) , 10.1007/978-94-017-1201-9_7
Constantin Piron, Mécanique quantique : bases et applications Presses polytechniques et universitaires romandes. ,(1998)
Gunter Bruns, John Harding, Algebraic Aspects of Orthomodular Lattices Springer Netherlands. pp. 37- 65 ,(2000) , 10.1007/978-94-017-1201-9_2
D.J. Foulis, C.H. Randall, MANUALS, MORPHISMS AND QUANTUM MECHANICS Mathematical Foundations of Quantum Theory. pp. 105- 126 ,(1978) , 10.1016/B978-0-12-473250-6.50011-X
Alexander Wilce, On Generalized Sasaki Projections International Journal of Theoretical Physics. ,vol. 39, pp. 969- 974 ,(2000) , 10.1023/A:1003607820078
David Finkelstein, Matter, Space and Logic Boston Studies in the Philosophy of Science. pp. 199- 215 ,(1969) , 10.1007/978-94-010-3381-7_4
Pavel Pták, Observables in the Logico-Algebraic Approach Springer Netherlands. pp. 67- 80 ,(2000) , 10.1007/978-94-017-1201-9_3
B. Coecke, I. Stubbe, H. Amira, HOW QUANTALES EMERGE BY INTRODUCING INDUCTION WITHIN THE OPERATIONAL APPROACH Helvetica Physica Acta. ,vol. 71, pp. 554- 572 ,(1998)
Roger M Cooke, J Hilgevoord, A New Approach to Equivalence in Quantum Logic Current Issues in Quantum Logic. pp. 101- 113 ,(1981) , 10.1007/978-1-4613-3228-2_7