Non-classical logics for quantum computations

被引：1
|
作者：
Pykacz, J
Zapatrin, RR
机构：
来源：
PHOTONIC QUANTUM COMPUTING | 1997年 / 3076卷
关键词：
quantum logic; quantum computation; fuzzy computation;
D O I：
10.1117/12.277649
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The possibility of basing quantum computations on the laws of genuine quantum (non-Boolean) logic is shown. We investigate the new options provided by this approach and consider its relevance to the existing computational problems. A simple example of quantum adding machine that works according to this idea is studied. This example shows that the proposed new way of making quantum computations in the natural way utilizes ''probabilistic'' (or ''fuzzy'') features of quantum objects and allows to deal with non-exact data.
引用
收藏
页码：150 / 161
页数：12
相关论文
共 50 条
  • [1] Non-classical Metatheory for Non-classical Logics
    Bacon, Andrew
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2013, 42 (02) : 335 - 355
  • [2] Non-classical Metatheory for Non-classical Logics
    Andrew Bacon
    [J]. Journal of Philosophical Logic, 2013, 42 : 335 - 355
  • [3] Quantum computations and non-classical Markov processes
    Ignat'ev, V. Yu
    Moroz, I. I.
    Popov, N. N.
    Tsurkov, V. I.
    [J]. JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2015, 54 (02) : 212 - 217
  • [4] Quantum computations and non-classical Markov processes
    V. Yu. Ignat’ev
    I. I. Moroz
    N. N. Popov
    V. I. Tsurkov
    [J]. Journal of Computer and Systems Sciences International, 2015, 54 : 212 - 217
  • [5] On AGM for Non-Classical Logics
    Renata Wassermann
    [J]. Journal of Philosophical Logic, 2011, 40 : 271 - 294
  • [6] On AGM for Non-Classical Logics
    Wassermann, Renata
    [J]. JOURNAL OF PHILOSOPHICAL LOGIC, 2011, 40 (02) : 271 - 294
  • [7] Interpolation in non-classical logics
    D'Agostino, Giovanna
    [J]. SYNTHESE, 2008, 164 (03) : 421 - 435
  • [8] SEMANTICS FOR NON-CLASSICAL LOGICS
    NAGAI, S
    [J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1973, 49 (05): : 337 - 340
  • [9] Interpolation in non-classical logics
    Giovanna D’Agostino
    [J]. Synthese, 2008, 164 : 421 - 435
  • [10] Constructive canonicity in non-classical logics
    Ghilardi, S
    Meloni, G
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1997, 86 (01) : 1 - 32
12345