A many-valued approach to quantum computational logics
| Autor: | Roberto Leporini, Roberto Giuntini, Giuseppe Sergioli, M. L. Dalla Chiara |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Pure mathematics
Quantum Turing machine Logical gates Logic 02 engineering and technology Quantum logics Quantum tomography Artificial Intelligence 01 natural sciences Quantum circuit Computer Science::Emerging Technologies Computer Science::Logic in Computer Science 0202 electrical engineering electronic engineering information engineering Quantum operation 0101 mathematics Quantum information Mathematics Quantum computer Quantum network 010102 general mathematics Quantum Physics Settore MAT/01 - Logica Matematica Algebra ComputerSystemsOrganization_MISCELLANEOUS Quantum process 020201 artificial intelligence & image processing Quantum algorithm Hardware_LOGICDESIGN |
| Zdroj: | Fuzzy Sets and Systems. 335:94-111 |
| ISSN: | 0165-0114 |
| DOI: | 10.1016/j.fss.2016.12.015 |
| Popis: | Quantum computational logics are special examples of quantum logic where formulas are supposed to denote pieces of quantum information (qubit-systems or mixtures of qubit-systems), while logical connectives are interpreted as reversible quantum logical gates. Hence, any formula of the quantum computational language represents a synthetic logical description of a quantum circuit. We investigate a many-valued approach to quantum information, where the basic notion of qubit has been replaced by the more general notion of qudit. The qudit-semantics allows us to represent as reversible gates some basic logical operations of Łukasiewicz many-valued logics. In the final part of the article we discuss some problems that concern possible implementations of gates by means of optical devices. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect