A many-valued approach to quantum computational logics

被引：8
|
作者：
Dalla Chiara, M. L. [1 ]
Giuntini, R. [2 ]
Sergioli, G. [2 ]
Leporini, R. [3 ]
机构：
[1] Univ Firenze, Dipartimento Lettere & Filosofia, Via Bolognese 52, I-50139 Florence, Italy
[2] Univ Cagliari, Filosofia, Psicol, Dipartimento Pedag, Via Mirrionis 1, I-09123 Cagliari, Italy
[3] Univ Bergamo, Dipartimento Ingn Gest Informaz & Prod, Viale Marconi 5, I-24044 Dalmine, BG, Italy
来源：
FUZZY SETS AND SYSTEMS | 2018年 / 335卷
关键词：
Quantum logics; Quantum tomography; Logical gates;
D O I：
10.1016/j.fss.2016.12.015
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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 qubithas been replaced by the more general notion of qudit. The qudit-semantics allows us to represent as reversible gates some basic logical operations of Lukasiewicz 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. (c) 2017 Elsevier B.V. All rights reserved.
引用
收藏
页码：94 / 111
页数：18
相关论文
共 29 条
123