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.

(2018). A many-valued approach to quantum computational logics [journal article - articolo]. In FUZZY SETS AND SYSTEMS. Retrieved from http://hdl.handle.net/10446/84342

A many-valued approach to quantum computational logics

Leporini, Roberto
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.
articolo
2018
Dalla Chiara, Maria Luisa; Giuntini, Roberto; Sergioli, Giuseppe; Leporini, Roberto
(2018). A many-valued approach to quantum computational logics [journal article - articolo]. In FUZZY SETS AND SYSTEMS. Retrieved from http://hdl.handle.net/10446/84342
File allegato/i alla scheda:
File Dimensione del file Formato  
A many-valued approach to quantum computational logics.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 383.52 kB
Formato Adobe PDF
383.52 kB Adobe PDF   Visualizza/Apri
Leporini_1.pdf

accesso aperto

Versione: draft - bozza non referata
Licenza: Licenza default Aisberg
Dimensione del file 510.98 kB
Formato Adobe PDF
510.98 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/84342
Citazioni
  • Scopus 14
  • ???jsp.display-item.citation.isi??? 8
social impact