Automata theory based on quantum logic. (I)

International Journal of Theoretical Physics

Volumn 39, Issue 4, 2000, Pages 985-995

  Ying, Mingsheng ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034349194     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1003642222321     Document Type: Article

References (20)

1. [BN36] G. Birkhoff and J. von Neumann, The logic of quantum mechanics, Ann. Math. 37 (1936) 823-843.
2. [DC86] M. L. Dalla Chiara, Quantum logic, in: D. Gabbay and E. Guenthner (eds.), Handbook of Philosophical Logic, Volume III: Alternatives to Classical Logic, Reidel, Dordrecht, 1986, pp. 427-469.
3. [D85] D. Deutsch, Quantum theory, the Church-Turing principle and the universal quantum computer, Proc. R. Soc. Lond. A 400 (1985) 97-117.
4. [E74] S. Eilenberg, Automata, Languages, and Machines, Volume A, Academic Press, New York, 1974.
5. [F82] R. P. Feynman, Simulating physics with computers, Int. J. Theor. Phys. 21 (1982) 467-488.
6. [F86] R. P. Feynman, Quantum mechanical computers, Found. Phys. 16 (1986) 507-531.
7. [RR91] L. Román and B. Rumbos, Quantum logic revisited, Found. Phys. 21 (1991) 727-734.
8. [RZ99] L. Román and R. E. Zuazua, Quantum implication, Int. J. Theor. Phys. 38 (1999) 793-797.
9. [RT52] J. B. Rosser and A. R. Turquette, Many-Valued Logics, North-Holland, Amsterdam, 1952.
10. [S94] P. W. Shor, Polynomial-time algorithm for prime factorization and discrete logarithms on quantum computer, in Proceedings 35th Annual Symposium on Foundations of Computer Science, Santa Fe, IEEE Computer Society Press, 1994.
11. [Sv98] K. Svozil, Quantum Logic, Springer-Verlag, Berlin, 1998.
12. [VP] V. Vedral and M. B. Plenio, Basics of quantum computation, Prog. Quant. Electron. 22 (1998) 1.
13. [Y91] M. S. Ying, Deduction theorem for many-valued inference, Z. Math. Logik Grundl. Math. 37 (1991) 6.
14. [Y92a] M. S. Ying, The fundamental theorem of ultraproduct in Pavelka's logic, Z. Math. Logik Grundl. Math. 38 (1992) 2.
15. [Y92b] M. S. Ying, Compactness, the Lowenheim-Skolem property and the direct product of lattices of truth values, Z. Math. Logik Grundl. Math. 38 (1992) 4.
16. [Y91-93] M. S. Ying, A new approach for fuzzy topology (I), (II), (III), Fuzzy Sets Systems 39 (1991) 303-321; 47 (1992) 221-232; 55 (1993) 193-207.
17. [Y91-93] M. S. Ying, A new approach for fuzzy topology (I), (II), (III), Fuzzy Sets Systems 39 (1991) 303-321; 47 (1992) 221-232; 55 (1993) 193-207.
18. [Y91-93] M. S. Ying, A new approach for fuzzy topology (I), (II), (III), Fuzzy Sets Systems 39 (1991) 303-321; 47 (1992) 221-232; 55 (1993) 193-207.
19. [Y93] M. S. Ying, Fuzzifying topology based on complete residuated lattice-valued logic (I), Fuzzy Sets Systems 56 (1993) 337-373.
20. [Y94] M. S. Ying, A logic for approximate reasoning, J. Symbolic Logic 59 (1994) 3.