{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,24]],"date-time":"2024-08-24T00:31:18Z","timestamp":1724459478549},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,4,6]],"date-time":"2013-04-06T00:00:00Z","timestamp":1365206400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1007\/s10992-013-9271-9","type":"journal-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T02:48:51Z","timestamp":1365130131000},"page":"467-481","source":"Crossref","is-referenced-by-count":3,"title":["The Toffoli-Hadamard Gate System: an Algebraic Approach"],"prefix":"10.1007","volume":"42","author":[{"given":"M. L.","family":"Dalla Chiara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Ledda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Sergioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Giuntini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,4,6]]},"reference":[{"key":"9271_CR1","unstructured":"Aharonov, D. (2003). A simple proof that Toffoli and Hadamard are quantum universal. arXiv: quant-ph\/0301040 ."},{"key":"9271_CR2","unstructured":"Aharonov, D., Kitaev, A., Nisan, N. (1998). Quantum cirQ.E.Dtates. In STOC \u201998: Proceedings of the thirtieth annual ACM symposium on theory of computing (pp. 20\u201330). ACM Press."},{"key":"9271_CR3","first-page":"87","volume":"54","author":"G Cattaneo","year":"2004","unstructured":"Cattaneo, G., Dalla Chiara, M.L., Giuntini, R., Leporini, R. (2004). Quantum computational structures. Mathematica Slovaca, 54, 87\u2013108.","journal-title":"Mathematica Slovaca"},{"key":"9271_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic foundations of many-valued reasoning","author":"R Cignoli","year":"2000","unstructured":"Cignoli, R., D\u2019Ottaviano, I.M.L. , Mundici, D. (2000). Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer."},{"key":"9271_CR5","first-page":"255","volume-title":"Trends in logic: 50 years of studia logica","author":"ML Dalla Chiara","year":"2003","unstructured":"Dalla Chiara, M.L., Giuntini, R., Leporini, R. (2003). Quantum computational logics: a survey. In V.F. Hendricks & J. Malinowski (Eds.), Trends in logic: 50 years of studia logica (pp. 213\u2013255). Dordrecht: Kluwer."},{"issue":"6","key":"9271_CR6","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1007\/s10701-009-9302-0","volume":"39","author":"ML Dalla Chiara","year":"2009","unstructured":"Dalla Chiara, M.L., Giuntini, R., Freytes, H., Ledda, A., Sergioli, G. (2009). The algebraic structure of an approximately universal system of quantum computational gates. Foundations of Physics, 39(6), 559\u2013572.","journal-title":"Foundations of Physics"},{"key":"9271_CR7","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1142\/S0219749905000943","volume":"3","author":"ML Dalla Chiara","year":"2005","unstructured":"Dalla Chiara, M.L., Giuntini, R., Leporini, R. (2005). Logics from Quantum Computation. International Journal of Quantum Information, 3, 293\u2013337.","journal-title":"International Journal of Quantum Information"},{"key":"9271_CR8","unstructured":"Dawson, C.M., & Nielsen, M.A. (2005). The Solovay-Kitaev algorithm. arXiv: quant-ph\/0505030 ."},{"key":"9271_CR9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1098\/rspa.1989.0099","volume":"425","author":"D Deutsch","year":"1989","unstructured":"Deutsch, D. (1989). Quantum computational networks. Proceedings of the Royal Society of London A, 425, 73\u201390.","journal-title":"Proceedings of the Royal Society of London A"},{"key":"9271_CR10","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1023\/A:1023327005274","volume":"42","author":"G Gudder","year":"2003","unstructured":"Gudder, G. (2003). Quantum computational logics. International Journal of Theoretical Physics, 42, 39\u201347.","journal-title":"International Journal of Theoretical Physics"},{"issue":"6","key":"9271_CR11","doi-asserted-by":"crossref","first-page":"1191","DOI":"10.1070\/RM1997v052n06ABEH002155","volume":"52","author":"AY Kitaev","year":"1997","unstructured":"Kitaev, A.Y. (1997). Quantum computations: algorithms and error correction. Russian Mathematical Surveys, 52(6), 1191\u20131249.","journal-title":"Russian Mathematical Surveys"},{"key":"9271_CR12","volume-title":"States effects and operations","author":"K Kraus","year":"1983","unstructured":"Kraus, K. (1983). States effects and operations. Berlin: Springer-Verlag."},{"issue":"2","key":"9271_CR13","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s11225-006-7202-2","volume":"82","author":"A Ledda","year":"2006","unstructured":"Ledda, A., Konig, M., Paoli, F., Giuntini, R. (2006). MV algebras quantum computation. Studia Logica, 82(2), 245\u2013270.","journal-title":"Studia Logica"},{"key":"9271_CR14","volume-title":"Quantum computation and quantum information","author":"M Nielsen","year":"2000","unstructured":"Nielsen, M., & Chuang, I. (2000). Quantum computation and quantum information. Cambridge: Cambridge University Press."},{"key":"9271_CR15","unstructured":"Shi, Y. (2002). Both Toffoli and controlled-Not need little help to do universal quantum computation. arXiv: quant-ph\/0205115 ."},{"key":"9271_CR16","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1007\/3-540-10003-2_104","volume-title":"Automata, languages and programming","author":"T Toffoli","year":"1980","unstructured":"Toffoli, T. (1980). Reversible computing. In J.W. de Bakker & J. van Leeuwen (Eds.), Automata, languages and programming (pp. 632\u2013644). Berlin: Springer."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9271-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-013-9271-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-013-9271-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T01:29:51Z","timestamp":1559352591000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-013-9271-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,6]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,6]]}},"alternative-id":["9271"],"URL":"https:\/\/doi.org\/10.1007\/s10992-013-9271-9","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,6]]}}}