Many-valued Logics in Classical and Quantum Gates

Logic Journal of the IGPL 13 (1):127-138 (2005)
  Copy   BIBTEX

Abstract

The research on many valued interpretation in quantum computing [1,3] is rather recent and the theory is not fully developed yet.The main advantage of this approach seems to be the complexity gain when a computation is based upon general quantum digits if compared with time spent by the same algorithm, when running in a equivalent system built up by means of qubits . If this assumption is sound, then temporal complexity of algorithms could be significantly simplified.The use of many-valued semantics in classical logic doesn't convey any precise idea of its physical application, as it happens in the framework of quantum gates. However, we propose an analysis motivated by the known use of finite-many-valued semantic in non-quantum logics. We shall produce a propositional representation for classical gates.We make explicit the usually implicit relationship between classical and quantum logics, extend in a natural way the many-valued semantics, as used in axiomatic systems of classical logical, to the quantum case , define many-valued digits and reversible gates based upon them, and extend the functional completeness of some gates to the new situation. We conjecture the possibility of enhancing the performance of quantum algorithms, when running in a many-valued quantum system

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Systems of Quantum Logic.Satoko Titani, Heiji Kodera & Hiroshi Aoyama - 2013 - Studia Logica 101 (1):193-217.
On the classical content of many-body quantum mechanics.Olaf Melsheimer - 1979 - Foundations of Physics 9 (3-4):193-215.
Note on a six-valued extension of three-valued logic.Josep M. Font & Massoud Moussavi - 1993 - Journal of Applied Non-Classical Logics 3 (2):173-187.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Quantum Teleportation.H. J. Kimble - 1999 - Vienna Circle Institute Yearbook 7:141-146.
Quantum logics with the existence property.Christian Schindler - 1991 - Foundations of Physics 21 (4):483-498.
A Characteristic Model For Some Tabular Many-valued Logics.Marion Mircheva - 1986 - Bulletin of the Section of Logic 15 (4):159-161.

Analytics

Added to PP
2015-02-04

Downloads
3 (#1,520,408)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references