Quantum computational logic

被引：46
|
作者：
Gudder, S [1 ]
机构：
[1] Univ Denver, Dept Math, Denver, CO 80208 USA
来源：
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS | 2003年 / 42卷 / 01期
关键词：
quantum computation; quantum logic; quantum gates;
D O I：
10.1023/A:1023327005274
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
A quantum computational logic is constructed by employing density operators on spaces of qubits and quantum gates represented by unitary operators. It is shown that this quantum computational logic is isomorphic to the basic sequential effect algebra [0, 1].
引用
收藏
页码：39 / 47
页数：9
相关论文
共 50 条
  • [31] Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
    Dunn, J. Michael
    Moss, Lawrence S.
    Wang, Zhenghan
    JOURNAL OF PHILOSOPHICAL LOGIC, 2013, 42 (03) : 443 - 459
  • [32] Quantum computational logics and possible applications
    Chiara, Maria Luisa Dalla
    Giuntini, Roberto
    Leporini, Roberto
    di Francia, Giuliano Toraldo
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2008, 47 (01) : 44 - 60
  • [33] A theory of computation based on quantum logic (I)
    Ying, MS
    THEORETICAL COMPUTER SCIENCE, 2005, 344 (2-3) : 134 - 207
  • [34] Quantum Computational Logics and Possible Applications
    Maria Luisa Dalla Chiara
    Roberto Giuntini
    Roberto Leporini
    Giuliano Toraldo di Francia
    International Journal of Theoretical Physics, 2008, 47 : 44 - 60
  • [35] Editors’ Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
    J. Michael Dunn
    Lawrence S. Moss
    Zhenghan Wang
    Journal of Philosophical Logic, 2013, 42 : 443 - 459
  • [36] Quantum logic and macroscopic quantum games
    Grib, A.
    QUANTUM THEORY: RECONSIDERATION OF FOUNDATIONS - 4, 2007, 962 : 91 - 97
  • [37] Dynamic quantum logic for quantum programs
    Brunet, O
    Jorrand, P
    INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2004, 2 (01) : 45 - 54
  • [38] The New Quantum Logic
    Griffiths, Robert B.
    FOUNDATIONS OF PHYSICS, 2014, 44 (06) : 610 - 640
  • [39] Qubitless Quantum Logic
    Kassman, Richard B.
    Berman, Gennady P.
    Tsifrinovich, Vladimir I.
    Lopez, Gustavo V.
    QUANTUM INFORMATION PROCESSING, 2002, 1 (06) : 425 - 437
  • [40] Quantum logic is undecidable
    Tobias Fritz
    Archive for Mathematical Logic, 2021, 60 : 329 - 341
12345