Towards Quantum Computational Logics

被引：0

作者：

Antonio Ledda

Giuseppe Sergioli

机构：

[1] University of Cagliari,Department of Education

来源：

International Journal of Theoretical Physics | 2010年 / 49卷

关键词：

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

D O I：

暂无

中图分类号：

学科分类号：

摘要：

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

页数：7

共 50 条

[21] Integrability, neural and quantum computational complexity [J].

Krishnamurthy, EV ;

Krishnamurthy, V .

WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL 1, PROCEEDINGS: ISAS '98, 1998, :547-554

[22] Quantum Computational Semantics on Fock Space [J].

M. L. Dalla Chiara ;

R. Giuntini ;

S. Gudder ;

R. Leporini .

International Journal of Theoretical Physics, 2005, 44 :2219-2230

[23] Compositional and holistic quantum computational semantics [J].

Maria Luisa Dalla Chiara ;

Roberto Giuntini ;

Roberto Leporini .

Natural Computing, 2007, 6 (2) :113-132

[24] Integrability and quantum parallel computational complexity [J].

Krishnamurthy, EV .

INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL I AND II, 1999, :91-97

[25] Quantum computational semantics on Fock space [J].

Dalla Chiara, M. L. ;

Giuntini, R. ;

Gudder, S. ;

Leporini, R. .

INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2005, 44 (12) :2219-2230

[26] Towards optimization of quantum circuits [J].

Sedlak, Michal ;

Plesch, Martin .

CENTRAL EUROPEAN JOURNAL OF PHYSICS, 2008, 6 (01) :128-134

[27] Towards a quantum fuzzy computer [J].

Jurkovic, Franc .

ELEKTROTEHNISKI VESTNIK-ELECTROCHEMICAL REVIEW, 2007, 74 (05) :315-317

[28] Computational complexity of uniform quantum circuit families and quantum Turing machines [J].

Nishimura, H ;

Ozawa, M .

THEORETICAL COMPUTER SCIENCE, 2002, 276 (1-2) :147-181

[29] Diagonal quantum circuits: Their computational power and applications [J].

Yoshifumi Nakata ;

Mio Murao .

The European Physical Journal Plus, 129

[30] Opportunities for Quantum Computation in Computational Fluid Dynamics [J].

Li, Yan .

2ND INTERNATIONAL CONFERENCE ON APPLIED MATHEMATICS, MODELLING, AND INTELLIGENT COMPUTING (CAMMIC 2022), 2022, 12259

← 1 2 3 4 5 →