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 条
  • [1] Quantum-logics-valued measure convergence theorem
    Wu, JD
    Lu, SJ
    Cho, MH
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2003, 42 (11) : 2603 - 2608
  • [2] Quantum-Logics-Valued Measure Convergence Theorem
    Wu Junde
    Lu Shijie
    Cho Minhyung
    International Journal of Theoretical Physics, 2003, 42 : 2603 - 2608
  • [3] Fock theories and quantum logics
    Ivanov, A
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2004, 43 (01) : 77 - 87
  • [4] Fock Theories and Quantum Logics
    Al. Ivanov
    International Journal of Theoretical Physics, 2004, 43 : 77 - 87
  • [5] Order topology orthosummability in quantum logics
    Wu, JD
    Zhou, S
    Cho, MH
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2004, 43 (06) : 1437 - 1443
  • [6] Order Topology Orthosummability in Quantum Logics
    Wu Junde
    Zhou Su
    Cho Minhyung
    International Journal of Theoretical Physics, 2004, 43 (6) : 1437 - 1443
  • [7] Probabilities and Epistemic Operations in the Logics of Quantum Computation
    Dalla Chiara, Maria Luisa
    Freytes, Hector
    Giuntini, Roberto
    Leporini, Roberto
    Sergioli, Giuseppe
    ENTROPY, 2018, 20 (11)
  • [8] QUANTUM LOGICS DEFINED BY SETS OF NUMERICAL EVENTS
    Dorninger, Dietmar
    Laenger, Helmut
    REPORTS ON MATHEMATICAL PHYSICS, 2019, 83 (02) : 243 - 251
  • [9] Non-signaling boxes and quantum logics
    Tylec, T. I.
    Kus, M.
    JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, 2015, 48 (50)
  • [10] Antosik-Mikusinski matrix convergence theorem in quantum logics
    Wu, JD
    Lu, SJ
    Kim, DH
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2003, 42 (09) : 1905 - 1911
123