Towards Quantum Computational Logics

1. Aharonov, D.: A simple proof that Toffoli and Hadamard are quantum universal. arXiv:quant-ph/0301040v1 (2003)

2. Aharonov, D., Kitaev, A., Nisan, N.: Quantum circuits with mixed states. In: STOC ’98: Proceedings of the Thirtieth Annual ACM Symposium on Theory of Computing, pp. 20–30. ACM, New York (1998)

   Chapter  Google Scholar 

3. Bou, F., Paoli, F., Ledda, A., Freytes, H.: On some properties of quasi-MV algebras and \(\sqrt{^{\prime }}\) quasi-MV algebras, part II. Soft Comput. 12(4), 341–352 (2008)

   Article  MATH  Google Scholar 

4. Cattaneo, G., Dalla Chiara, M.L., Giuntini, R., Leporini, R.: Quantum computational structures. Math. Slovaca 54, 87–108 (2004)

   MATH  MathSciNet  Google Scholar 

5. Freytes, H., Giuntini, R., Ledda, A., Sergioli, G.: Stone-Weierstrass type theorem for quantum operations. In preparation

6. Giuntini, R., Ledda, A., Paoli, F.: Expanding quasi-MV algebras by a quantum operator. Stud. Log. 87(1), 99–128 (2007)

   Article  MATH  MathSciNet  Google Scholar 

7. Gudder, S.: Quantum computational logics. Int. J. Theor. Phys. 42, 39–47 (2003)

   Article  MATH  MathSciNet  Google Scholar 

8. Kraus, K.: States, Effects and Operations: Fundamental Notions of Quantum Theory. Lecture Notes in Physics, vol. 190. Springer, Berlin (1983)

   Book  MATH  Google Scholar 

9. Ledda, A., Konig, M., Paoli, F., Giuntini, R.: MV algebras and quantum computation. Stud. Log. 82(2), 245–270 (2006)

   Article  MATH  MathSciNet  Google Scholar 

10. Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)

    MATH  Google Scholar 

11. Paoli, F., Ledda, A., Giuntini, R., Freytes, H.: On some properties of quasi-MV algebras and \(\sqrt{^{\prime }}\) quasi-MV algebras, part I. Rep. Math. Log. 44, 53–85 (2008)

    Google Scholar 

Download references