{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T12:28:29Z","timestamp":1773145709210,"version":"3.50.1"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s11225-006-7202-2","type":"journal-article","created":{"date-parts":[[2006,3,24]],"date-time":"2006-03-24T10:56:40Z","timestamp":1143197800000},"page":"245-270","source":"Crossref","is-referenced-by-count":51,"title":["MV-Algebras and Quantum Computation"],"prefix":"10.1007","volume":"82","author":[{"given":"Antonio","family":"Ledda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martinvaldo","family":"Konig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Paoli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Giuntini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7202_CR1","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/BF01234106","volume":"36","author":"P. Aglian\u00f2","year":"1996","unstructured":"Aglian\u00f2, P., and A. Ursini, \u2018On subtractive varieties II: General properties\u2019, Algebra Universalis, 36 (1996), 222\u2013259.","journal-title":"Algebra Universalis"},{"key":"7202_CR2","unstructured":"Cattaneo, G., M. L. Dalla Chiara, R. Giuntini, and R. Leporini, \u2018An unsharp logic from quantum computation\u2019, International Journal of Theoretical Physics, 43, 7\u20138 (2004), 1803\u20131817."},{"key":"7202_CR3","first-page":"87","volume":"54","author":"G. Cattaneo","year":"2004","unstructured":"Cattaneo, G., M. L. Dalla Chiara, R. Giuntini, and R. Leporini, \u2018Quantum computational structures\u2019, Mathematica Slovaca, 54 (2004), 87\u2013108.","journal-title":"Mathematica Slovaca"},{"key":"7202_CR4","first-page":"74","volume":"93","author":"C. C. Chang","year":"1959","unstructured":"Chang, C. C., \u2018A new proof of the completeness of Lukasiewicz axioms\u2019, Transactions of the American Mathematical Society, 93 (1959), 74\u201390.","journal-title":"Transactions of the American Mathematical Society"},{"key":"7202_CR5","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R. Cignoli","year":"1999","unstructured":"Cignoli, R., I. M. L. D\u2019Ottaviano, and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer, Dordrecht, 1999."},{"key":"7202_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-0526-4","volume-title":"Reasoning in Quantum Theory","author":"M. L. Dalla Chiara","year":"2004","unstructured":"Dalla Chiara, M. L., R. Giuntini, and R. Greechie, Reasoning in Quantum Theory, Kluwer, Dordrecht, 2004."},{"key":"7202_CR7","first-page":"213","volume-title":"Trends in Logic: 50 Years of Studia Logica","author":"M. L. Dalla Chiara","year":"2003","unstructured":"Dalla Chiara, M. L., R. Giuntini, and R. Leporini, \u2018Quantum computational logics: A survey\u2019, in V. F. Hendricks, J. Malinowski (eds.), Trends in Logic: 50 Years of Studia Logica, Kluwer, Dordrecht, 2003, pp. 213\u2013255."},{"key":"7202_CR8","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01191491","volume":"19","author":"H. P. Gumm","year":"1984","unstructured":"Gumm, H. P., and A. Ursini, \u2018Ideals in universal algebra\u2019, Algebra Universalis, 19 (1984), 45\u201354.","journal-title":"Algebra Universalis"},{"key":"7202_CR9","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/BF01238496","volume":"32","author":"J. Hagermann","year":"1979","unstructured":"Hagermann, J., and C. Hermann, \u2018A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity\u2019, Archive for Mathematics, 32 (1979), 234\u2013245.","journal-title":"Archive for Mathematics"},{"issue":"6","key":"7202_CR10","first-page":"839","volume":"29","author":"P. M. Idziak","year":"1984","unstructured":"Idziak, P. M., \u2018Lattice operations in BCK algebras\u2019, Mathematica Japonica, 29, 6 (1984), 839\u2013846.","journal-title":"Mathematica Japonica"},{"key":"7202_CR11","unstructured":"Maltsev, A. I., \u2018On the general theory of algebraic systems\u2019(in Russian), Mat. Sb. (N. S.), 35, 77 (1954), 3\u201320."},{"key":"7202_CR12","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1007\/BF02944976","volume":"1","author":"A. Mitschke","year":"1971","unstructured":"Mitschke, A., \u2018Implication algebras are 3-permutable and 3-distributive\u2019, Algebra Universalis, 1 (1971), 182\u2013186.","journal-title":"Algebra Universalis"},{"key":"7202_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-3179-9","volume-title":"Substructural Logics: A Primer","author":"F. Paoli","year":"2002","unstructured":"Paoli, F., Substructural Logics: A Primer, Kluwer, Dordrecht, 2002."},{"key":"7202_CR14","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/BF01236518","volume":"31","author":"A. Ursini","year":"1994","unstructured":"Ursini, A., \u2018On subtractive varieties I\u2019, Algebra Universalis, 31 (1994), 204\u2013222.","journal-title":"Algebra Universalis"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-7202-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-006-7202-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-006-7202-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:39Z","timestamp":1559384679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-006-7202-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":14,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["7202"],"URL":"https:\/\/doi.org\/10.1007\/s11225-006-7202-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}