BASIC LOGIC AND QUANTUM COMPUTING: LOGICAL JUDGEMENTS BY AN INSIDER OBSERVER
Abstract
We consider the logical assertions of a hypothetical observer who is inside a quantum computer and performs a reversible quantum measurement, obtaining a symmetric couple of new axioms, valid only inside the quantum computer. The result is that, in this logical framework, symmetry and paraconsistency hold.
References
- Studia Logica 21, 229 (2003). Google Scholar
- J. Symb. Logic 65, 979 (2000). Crossref, Web of Science, Google Scholar
- Int. J. Quant. Inform. 3(1), 287 (2005). Link, Web of Science, Google Scholar
-
N. A. Nielsen and I. L. Chuang , Quantum Computation and Quantum Information ( Cambridge University Press , 2000 ) . Google Scholar - Ann. Math. 37, 823 (1936). Crossref, Google Scholar
- Nature 299, 802 (1982). Crossref, Web of Science, Google Scholar
- G. Battilotti, P. A. Zizzi, Logical interpretation of a reversible measurement in quantum computing, quant-ph/0408063 . Google Scholar
- Found. Phys. 19, 891 (1989). Crossref, Web of Science, Google Scholar
-
W. A. Carnieli , M. E. Coniglio and I. M. Loffredo D'Ottaviano (eds.) ,Lecture Notes in Pure and Applied Mathematics 228 ( Dekker , New York , 2002 ) . Google Scholar J. Y. Girand ,Theoretical Computer Science 50 (1987) pp. 1–102. Google Scholar
Remember to check out the Most Cited Articles! |
---|
Check out Annual Physics Catalogue 2019 and recommend us to your library! |