A theory of computation based on quantum logic (I)

Theoretical Computer Science

Volumn 344, Issue 2-3, 2005, Pages 134-207

  Ying, Mingsheng ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Algebraic semantics; Finite automata; Orthomodular lattice; Quantum computation; Quantum logic; Regular languages

Indexed keywords

COMPUTATIONAL METHODS; FINITE AUTOMATA; FORMAL LANGUAGES; QUANTUM THEORY; SEMANTICS;

ALGEBRAIC SEMANTICS; ORTHOMODULAR LATTICE; QUANTUM COMPUTATION; QUANTUM LOGIC;

COMPUTER SCIENCE;

EID: 27644550004     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.04.001     Document Type: Article

References (52)

1. J. Barwise Model-theoretic logics: background and aims J. Barwise S. Feferman Model Theoretic Logics 1985 Springer Berlin 3 27
2. P.A. Benioff The computer as a physical system: a microscopic quantum mechanical Hamiltonian model of computer s as represented by Turing machines J. Statist. Phys. 22 1980 563 591
3. C.H. Bennet Logical reversibility of computation IBM J. Res. Dev. 17 1973 525 532
4. G. Birkhoff, and J. von Neumann The logic of quantum mechanics Ann. Math. 37 1936 823 843
5. G. Bruns, and J. Harding Algebraic aspects of orthomodular lattices B. Coecke D. Moore A. Wilce Current Research in Operational Quantum Logic: Algebras, Categories, Languages 2000 Kluwer Dordrecht 37 65
6. J.I. Cirac, and P. Zoller Quantum computation with cold trapped ions Phys. Rev. Lett. 74 1995 4091 4094
7. J.P. Crutchfield, and C. Moore Quantum automata and quantum grammar Theoret. Comput. Sci. 237 2000 275 306
8. M.L. Dalla Chiara Some meta-logical pathologies of quantum logic E. Beltrametti B.C. van Fraassen Current Issues in Quantum Logics 1981 Plenum New York 147 159
9. M.L. Dalla Chiara, Quantum logic, in: D. Gabbay, E. Guenthner (Eds.), Handbook of Philosophical Logic, Vol. III: Alternatives to Classical Logic, Reidel, Dordrecht, 1986, pp. 427-469. Also see arXiv: quant-ph/0101028 for an extended and revised version.
10. D. Deutsch Quantum theory, the Church-Turing principle and the universal quantum computer Proc. Roy. Soc. Lond. A 400 1985 97 117
11. D. Deutsch Quantum computational networks Proc. Roy. Soc. Lond. A 425 1989 73 90
12. J. Dieudonne The current trend of pure mathematics Adv. Math. 27 1978 235 255
13. S. Eilenberg Automata, Languages, and Machines, Vol. A 1974 Academic Press New York
14. R.P. Feynman Simulating physics with computers Int. J. Theoret. Phys. 21 1982 467 488
15. R.P. Feynman Quantum mechanical computers Found. Phys. 16 1986 507 531
16. P.D. Finch Quantum logic as an implication algebra Bull. Austr. Math. Soc. 2 1970 101 106
17. L.K. Grover, A fast quantum mechanical algorithm for database search, in: Proc. 28th ACM STOC, 1996, pp. 212-219.
18. S. Gudder Basic properties of quantum automata Found. Phys. 30 2000 301 319
19. W. Hatcher The Logical Foundations of Mathematics 1982 Pergamon Oxford
20. L. Herman, E. Marsden, and R. Piziak Implication connectives in orthomodular lattices Notre Dame J. Formal Logic 16 1975 305 328
21. A. Heyting Axiomatic Projective Geometry 1963 North-Holland Amsterdam
22. H. Hodes Three-valued logics - an introduction, a comparison of various logical lexica, and some philosophical remarks Ann. Pure Appl. Logic 43 1989 99 145
23. J.E. Hopcroft, and J.D. Ullman Introduction to Automata Theory, Languages, and Computation 1979 Addison-Wesley Reading, MA
24. K. Husimi Studies on the foundations of quantum mechanics I Proc. Physicomath. Soc. Japan 19 1937 766 789
25. G. Kalmbach Orthomodular logic Z. Math. Logik Grundlagen Math. 20 1974 395 406
26. G. Kalmbach Orthomodular Lattices 1983 Academic Press London
27. A. Kondacs, and J. Watrous On the power of quantum finite state automata Proc. 38th Ann. Symp. on Foundations of Computer Science 1997 65 75
28. D.C. Kozen Automata and Computability 1997 Springer New York
29. S. Lloyd A potentially realizable quantum computer Science 261 1993 1569 1571
30. J. Malinowski The deduction theorem for quantum logic - some negative results J. Symbolic Logic 55 1990 615 625
31. A. Mostowski, Thirty Years of Foundational Studies: Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930-1964, Acta Philosophica Fennica, Vol. 17, Helsinki, 1965.
32. J. von Neumann, Quantum logics (strict- and probability-logics), summarized in: J. von Neumann (Ed.), Collected Works, Vol. IV, Macmillan, New York, 1962.
33. J.P. Rawling, and S.A. Selesnick Orthologic and quantum logic: models and computational elements J. ACM 47 2000 721 751
34. L. Román, and B. Rumbos Quantum logic revisited Found. Phys. 21 1991 727 734
35. L. Román, and R.E. Zuazua Quantum implication Int. J. Theoret. Phys. 38 1999 793 797
36. J.B. Rosser, and A.R. Turquette Many-Valued Logics 1952 North-Holland Amsterdam
37. K.-G. Schlesinger Toward quantum mathematics. I. From quantum set theory to universal quantum mechanics J. Math. Phys. 40 1999 1344 1358
38. P.W. Shor Polynomial-time algorithm for prime factorization and discrete logarithms on quantum computer Proc. 35th Ann. Symp. on Foundations of Computer Science Santa Fe 1994 IEEE Computer Society Press Silver Spring, MD
39. K. Svozil Quantum Logic 1998 Springer Berlin
40. G. Takeuti Quantum set theory E. Beltrametti B.C. van Fraassen Current Issues in Quantum Logics 1981 Plenum New York 303 322
41. A.S. Troelstra, and D. van Dalen Constructivism in Mathematics: An Introduction, Vols. I, II 1988 North-Holland Amsterdam
42. V. Vedral, and M.B. Plenio Basics of quantum computation Prog. Quant. Elect. 22 1998 1
43. A.C. Yao, Quantum circuit complexity, Proc. 34th Ann. IEEE Symp. on Foundations of Computer Science, 1993, pp. 352-361.
44. M.S. Ying Deduction theorem for many-valued inference Z. Math. Logik Grundlagen Math. 37 1991 6
45. M.S. Ying The fundamental theorem of ultraproduct in Pavelka's logic Z. Math. Logik Grundlagen Math. 38 1992 2
46. M.S. Ying Compactness, the Lowenheim-Skolem property and the direct product of lattices of truth values Z. Math. Logik Grundlagen Math. 38 1992 4
47. M.S. Ying, A new approach for fuzzy topology (I), (II), (III), Fuzzy Sets Systems 39 (1991) 303-321;
48. M.S. Ying, A new approach for fuzzy topology (I), (II), (III), Fuzzy Sets Systems 47 (1992) 221-232;
49. M.S. Ying, A new approach for fuzzy topology (I), (II), (III), Fuzzy Sets Systems 55 (1993) 193-207.
50. M.S. Ying Fuzzifying topology based on complete residuated lattice-valued logic (I) Fuzzy Sets Systems 56 1993 337 373
51. M.S. Ying A logic for approximate reasoning J. Symbolic Logic 59 1994
52. M.S. Ying, Automata theory based on quantum logic (I), (II), Internat. J. Theoret. Phys. 39 (2000) 985-995; 2545-2557.