Quantum computational logic

被引：47

作者：

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

共 9 条

[1]

[Anonymous], INTRO QUANTUM COMPUT

[2]

[Anonymous], 2009, Quantum computation and quantum information, DOI DOI 10.1119/1.1463744

[3]

[Anonymous], FDN PHYS

[4]

CATTANEO G, IN PRESS INT J THEOR

[5]

Dvurecenskij A., 2000, MATH ITS APPL, V516

[6] TOWARD A FORMAL LANGUAGE FOR UNSHARP PROPERTIES [J].

GIUNTINI, R ;

GREULING, H .

FOUNDATIONS OF PHYSICS, 1989, 19 (07) :931-945

[7] Sequential products on effect algebras [J].

Gudder, S ;

Greechie, R .

REPORTS ON MATHEMATICAL PHYSICS, 2002, 49 (01) :87-111

[8]

GUDDER S, IN PRESS UNIQUENESS

[9]

Kopka F., 1994, Mathematica Slovaca, V44, P21

← 1 →