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
相关论文
共 50 条
  • [41] PROVABILITY ALGORITHMS FOR CLASSICAL MANY-VALUED LOGICS
    WILLIAMSON, J
    JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (02) : 445 - 445
  • [42] Dialogue Games for Many-Valued Logics — an Overview
    C. G. Fermüller
    Studia Logica, 2008, 90 (1) : 43 - 68
  • [43] Finitely many-valued logics and natural deduction
    Englander, Cecilia
    Haeusler, Edward Hermann
    Pereira, Luiz Carlos
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (02) : 333 - 354
  • [44] Some algebraic structures for many-valued logics
    Cattaneo, G
    Dalla Chiara, ML
    Giuntini, R
    TATRA MOUNTAINS MATHEMATICAL PUBLICATIONS, VOL 15, 1998: QUANTUM STRUCTURES II, 1998, : 173 - 195
  • [45] MULTLOG - A SYSTEM FOR AXIOMATIZING MANY-VALUED LOGICS
    BAAZ, M
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 345 - 347
  • [46] Neighborhood semantics for modal many-valued logics
    Cintula, Petr
    Noguera, Carles
    FUZZY SETS AND SYSTEMS, 2018, 345 : 99 - 112
  • [47] MANY-VALUED NONMONOTONIC MODAL-LOGICS
    FITTING, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 620 : 139 - 150
  • [48] A REMARK ON PEIRCES RULE IN MANY-VALUED LOGICS
    ONO, K
    NAGOYA MATHEMATICAL JOURNAL, 1968, 31 (JAN) : 69 - &
  • [49] An exercise on the generation of many-valued dynamic logics
    Madeira, Alexandre
    Neves, Renato
    Martins, Manuel A.
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (05) : 1011 - 1037
  • [50] Modal systems based on many-valued logics
    Bou, F.
    Esteva, F.
    Godo, L.
    NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL I, PROCEEDINGS, 2007, : 177 - 182
12345