Abstract
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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Aharonov, D.: A simple proof that Toffoli and Hadamard are quantum universal. arXiv:quant-ph/0301040v1 (2003)
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)
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)
Cattaneo, G., Dalla Chiara, M.L., Giuntini, R., Leporini, R.: Quantum computational structures. Math. Slovaca 54, 87–108 (2004)
Freytes, H., Giuntini, R., Ledda, A., Sergioli, G.: Stone-Weierstrass type theorem for quantum operations. In preparation
Giuntini, R., Ledda, A., Paoli, F.: Expanding quasi-MV algebras by a quantum operator. Stud. Log. 87(1), 99–128 (2007)
Gudder, S.: Quantum computational logics. Int. J. Theor. Phys. 42, 39–47 (2003)
Kraus, K.: States, Effects and Operations: Fundamental Notions of Quantum Theory. Lecture Notes in Physics, vol. 190. Springer, Berlin (1983)
Ledda, A., Konig, M., Paoli, F., Giuntini, R.: MV algebras and quantum computation. Stud. Log. 82(2), 245–270 (2006)
Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
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)
Author information
Authors and Affiliations
Corresponding author
Additional information
Authors has been funded by the Regione Autonoma della Sardegna, PO Sardegna FSE 2007-2013, L.R.7/2007.
Rights and permissions
About this article
Cite this article
Ledda, A., Sergioli, G. Towards Quantum Computational Logics. Int J Theor Phys 49, 3158–3165 (2010). https://doi.org/10.1007/s10773-010-0368-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10773-010-0368-4