论文信息 - Towards Quantum Computational Logics

Towards Quantum Computational Logics

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.

Giuseppe Sergioli | Antonio Ledda

[1] Francesco Paoli,et al. MV-Algebras and Quantum Computation , 2006, Stud Logica.

[2] Stan Gudder,et al. Quantum Computational Logic , 2003 .

[4] K. Kraus,et al. States, effects, and operations : fundamental notions of quantum theory : lectures in mathematical physics at the University of Texas at Austin , 1983 .

[5] Noam Nisan,et al. Quantum circuits with mixed states , 1998, STOC '98.

[6] Francesco Paoli,et al. Expanding Quasi-MV Algebras by a Quantum Operator , 2007, Stud Logica.

[7] D. Aharonov. A Simple Proof that Toffoli and Hadamard are Quantum Universal , 2003, quant-ph/0301040.

[8] Gianpiero Cattaneo,et al. Quantum computational structures , 2004 .

[9] Félix Bou,et al. On some properties of quasi-MV algebras and $$\sqrt{^{\prime}}$$ quasi-MV algebras. Part II , 2008, Soft Comput..

[10] Thierry Paul,et al. Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[11] Francesco Paoli,et al. On some properties of quasi-MV algebras and $sqrt{prime}$-MV algebras , 2009 .