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

来源：

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS | 2005年 / 44卷 / 12期

关键词：

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