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 条
  • [41] Computational biology: Biological logic
    Laursen, Lucas
    NATURE, 2009, 462 (7272) : 408 - 410
  • [42] Reflection principles in computational logic
    Barklund, J
    Dell'Acqua, P
    JOURNAL OF LOGIC AND COMPUTATION, 2000, 10 (06) : 743 - 786
  • [43] Computational Logic on Fock Space
    S. Gudder
    International Journal of Theoretical Physics, 2004, 43 : 1409 - 1422
  • [44] A MAS for teaching computational logic
    Maestro-Prieto, Jose Alberto
    Simón-Hurtado, Ma Aránzazu
    de-Paz-Santana, Juan F.
    Villarrubia-González, Gabriel
    Advances in Intelligent Systems and Computing, 2013, 217 : 209 - 217
  • [45] 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
  • [46] A COMPUTATIONAL INTERPRETATION OF TRUTH LOGIC
    BACK, RJR
    SYNTHESE, 1986, 66 (01) : 15 - 34
  • [47] ON THE SEMANTICS AND LOGIC OF COMPUTATIONAL PROBLEMS
    KANOVICH, MI
    DOKLADY AKADEMII NAUK SSSR, 1989, 305 (04): : 778 - 782
  • [48] WHAT IS THE LOGIC OF COMPUTATIONAL TASKS
    KANOVICH, MI
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 363 : 181 - 185
  • [49] Synthesis of programs in computational logic
    Basin, D
    Deville, Y
    Flener, P
    Hamfelt, AN
    Nilsson, JF
    PROGRAM DEVELOPMENT IN COMPUTATIONAL LOGIC: A DECADE OF RESEARCH ADVANCES IN LOGIC-BASED PROGRAM DEVELOPMENT, 2004, 3049 : 30 - 65
  • [50] Logic design of computational nanostructures
    Yanushkevich, Svetlana N.
    JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE, 2007, 4 (03) : 384 - 407
12345