University of Cagliari
A many-valued approach to quantum computational logics
GIUNTINI, ROBERTO;SERGIOLI, GIUSEPPE;
2018-01-01
Abstract
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
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| 43. A Many-valued Approach to Quantum Computational Logics.pdf open access
Type: versione post-print
Size 375.17 kB
Format Adobe PDF
|
375.17 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.