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 条
  • [21] Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
    Jort Martinus Bergfeld
    Joshua Sack
    Soft Computing, 2017, 21 : 1421 - 1441
  • [22] Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
    Bergfeld, Jort Martinus
    Sack, Joshua
    SOFT COMPUTING, 2017, 21 (06) : 1421 - 1441
  • [23] Feasible computation based on quantum logic
    Kenji Tokuo
    SN Applied Sciences, 2019, 1
  • [24] An unsharp logic from quantum computation
    Cattaneo, G
    Dalla Chiara, ML
    Giuntini, R
    Leporini, R
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2004, 43 (7-8) : 1803 - 1817
  • [25] Non-orthomodular models for both standard quantum logic and standard classical logic: Repercussions for quantum computers
    Pavicic, M
    Megill, ND
    HELVETICA PHYSICA ACTA, 1999, 72 (03): : 189 - 210
  • [26] An Unsharp Logic from Quantum Computation
    Gianpiero Cattaneo
    Maria Luisa Dalla Chiara
    Roberto Giuntini
    Roberto Leporini
    International Journal of Theoretical Physics, 2004, 43 : 1803 - 1817
  • [27] Quantum Logic and Quantum Reconstruction
    Stairs, Allen
    FOUNDATIONS OF PHYSICS, 2015, 45 (10) : 1351 - 1361
  • [28] Quantum Logic and Quantum Reconstruction
    Allen Stairs
    Foundations of Physics, 2015, 45 : 1351 - 1361
  • [29] Quantum information processing, operational quantum logic, convexity, and the foundations of physics
    Barnum, H
    STUDIES IN HISTORY AND PHILOSOPHY OF MODERN PHYSICS, 2003, 34B (03): : 343 - 379
  • [30] Compositional and holistic quantum computational semantics
    Maria Luisa Dalla Chiara
    Roberto Giuntini
    Roberto Leporini
    Natural Computing, 2007, 6 (2) : 113 - 132
12345