From quantum logic to quantum computational logic

• Autorzy: Caponigro M. , Mancini S.
• Języki publikacji: EN

Abstrakty

EN

We overview the main concepts of quantum logic ranging from the orthodox formulation to the quantum computational aspects.

Słowa kluczowe

EN

quantum logic; quantum computation

• Wydawca: Politechnika Gdańska
• Czasopismo: TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk
• Rocznik: 2006
• Tom: Vol. 10, No 1
• Strony: 5--19
• Opis fizyczny: Bibliogr. 24 poz.

Twórcy

autor

Caponigro M.

autor

Mancini S.

• Physics Department, University of Camerino, Madonna delle Carceri, 1-62032 Camerino, Italy,

Bibliografia

• [1] Birkhoff G and von Neumann J 1936 Ann. Math. 37823
• [2] Dalla Chiara M Land Giuntini R 2002 Quantum Logics, Kluwer, Amsterdam
• [3] Holdsworth and Hooker C A 1983 A Critical Survey of Quantum Logic. Logic in the 20th Century, Scientia Special Issue, Scientia, Milan, 127-246
• [4] Nielsen M A and Chuang I L 2000 Quantum Computation and Quantum Information, University Press, Cambridge
• [5] Dalla Chiara M L, Giuntini Rand Leporini R 2005 Trends in Logic: 50 Years of Studia Logica, Kluwer, Amsterdam, pp. 213-255
• [6] Matcus P and Sernadas A 2004 Proc. of Workshop on Combination of Logics: Theory and Applications, Lisbon, pp. 141-149
• [7] van der Meyden Rand Patra M 2003 Proc. of Computer Science Logic and 8th Kurt Gödel Colloquium, Wien, pp. 427-440
• [8] Dirac P A M 1958 Principles of Quantum Mechanics, Clarendon, Oxford
• [9] Jauch J M 1968 Foundations of Quantum Mechanics, Addison-Wesley, Boston
• [10] Segal I E 1947 Ann. Math. 48 930
• [11] Haag Rand Kastler D 1962 J. Math. Phys. 5 848
• [12] Ludwig G 1985 An Axiomatic Basis for Quantum Mechanics, Springer, Berlin
• [13] Beltrametti E and Cassinelli G 1981 The Logic of Quantum Mechanics, Addison-Wesley, Redwood
• [14] Mackey G 1957 The Mathematical Foundations of Quantum Mechanics, Benjamin, New York From Quantum Logic to Quantum Computational Logic 19
• [15] Mittelstaedt P 1978 Quantum Logic, DReidel Publ. Co., Dordrecht
• [16) Hooker C A 1979 The Logic-Algebraic Approach to Quantum Mechanics, Reidel, Dordrecht
• [17] Abramsky Sand Coecke B 2004 Proc. 19th Annual IEEE Symposium on Logic in Computer Science, Turku, Finland, pp. 415-425
• [18) Grinbaum A 2004 The Significance of Information in Quantum Theory, PhD Thesis, Ecole Poly technique, Paris
• [19) Grinbaum A 2005 Found. Phys. Lett. 18 573
• [20] Deutsch D, Ekert A and Lupacchini R 2000 Bull. Symbolic Logic 3 265
• [21] Varadarajan V S 1985 Geometry of Quantum Theory, Springer, Berlin
• [22] Mateus P and Sernadas A 2004 Lecture Notes in Artificial Intelligence 3229 239
• [23] Ying M S 1994 J. Symbolic Logic 59 830
• [24] Deutsch D 1985 Proc. Roy. Soc. Lond. A400 97