Towards Quantum Computational Logics

被引：8

作者：

Ledda, Antonio ^{[1
]}

Sergioli, Giuseppe ^{[1
]}

机构：

[1] Univ Cagliari, Dept Educ, I-09123 Cagliari, Italy

来源：

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS | 2010年 / 49卷 / 12期

关键词：

Pure State; Quantum Computation; Density Operator; Regular Element; Quantum Circuit;

D O I：

10.1007/s10773-010-0368-4

中图分类号：

O4 [物理学];

学科分类号：

0702 ;

摘要：

Quantum computational logics have recently stirred increasing attention (Cattaneo et al in Math Slovaca 54 87-108, 2004, Ledda et al in Stud Log 82(2) 245-270,2006, Giuntini et al in Stud Log 87(1) 99-128, 2007) In this paper we outline their motivations and report on the state of the art of the approach to the logic of quantum computation that has been recently taken up and developed by our research group

引用

页码：3158 / 3165

页数：8

共 11 条

[1]

AHARONOV D, 2003, ARXIVQUANTPH0301040V

[2]

AHARONOV D, 1998, STOC 98, P20

[3]

Bou F, 2008, SOFT COMPUT, V12, P341, DOI 10.1007/s00500-007-0185-8

[4]

Cattaneo G., 2004, Mathematica Slovaca, V54, P87

[5]

Chuang I. N., 2000, Quantum Computation and Quantum Information

[6]

FREYTES H, STONE WEIERSTR UNPUB

[7] Expanding quasi-MV algebras by a quantum operator [J].

Giuntini R. ;

Ledda A. ;

Paoli F. .

Studia Logica, 2007, 87 (1) :99-128

[8] Quantum computational logic [J].

Gudder, S .

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2003, 42 (01) :39-47

[9]

Kraus K., 1983, LECT NOTES PHYS, V190

[10]

Ledda A., 2006, STUDIA LOGICA, V82, P245, DOI DOI 10.1007/S11225-006-7202-2

← 1 2 →