Quantum computational semantics on Fock space

被引:1
作者
Dalla Chiara, M. L.
Giuntini, R.
Gudder, S. [1 ]
Leporini, R.
机构
[1] Univ Denver, Dept Math, Denver, CO 80208 USA
[2] Univ Florence, Dipartimento Filosofia, Florence, Italy
[3] Univ Cagliari, Dipartimento Sci Pedagog & Filosofiche, Cagliari, Italy
[4] Univ Bergamo, Dipartimento Matemat Stat Informat & Applicaz, Bergamo, Italy
关键词
quantum computation; quantum gates; quantum logic; Fock space;
D O I
10.1007/s10773-005-8017-z
中图分类号
O4 [物理学];
学科分类号
0702 ;
摘要
In the Fock space semantics, meanings of sentences are identified with density operators of the (unsymmetrized) Fock space F based on the Hilbert space C-2. Generally, the meaning of a sentence is smeared over different sectors of F. The standard quantum computational semantics is a limit case of the Fock space semantics, where the meaning of any sentence alpha only "lives" in one sector of F, which is determined by the logical complexity of alpha. We prove that the global Fock space semantics and the standard quantum computational semantics characterize the same logic.
引用
收藏
页码:2219 / 2230
页数:12
相关论文
共 6 条
  • [1] DALLACHIARA ML, 2004, INT J QUANTUM INF, V2, P1
  • [2] DALLACHIARA ML, 2003, TRENDS LOGIC 50 YEAR, P229
  • [3] Quantum computational logic
    Gudder, S
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2003, 42 (01) : 39 - 47
  • [4] GUDDER S, 2004, INT J THEORETICAL PH, V43, P1
  • [5] Nielsen Michael A, 2002, Quantum computation and quantum information, DOI DOI 10.1119/1.1463744
  • [6] PETRI CA, 1967, P 3 C AUT HANN 1965, P121