{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T12:28:28Z","timestamp":1773145708552,"version":"3.50.1"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2008,11,1]],"date-time":"2008-11-01T00:00:00Z","timestamp":1225497600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1007\/s11083-008-9103-7","type":"journal-article","created":{"date-parts":[[2008,12,6]],"date-time":"2008-12-06T09:03:18Z","timestamp":1228554198000},"page":"387-401","source":"Crossref","is-referenced-by-count":5,"title":["Abelian \u2113-Groups with Strong Unit and Perfect MV-Algebras"],"prefix":"10.1007","volume":"25","author":[{"given":"Lawrence P.","family":"Belluce","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Di Nola","sequence":"additional","affiliation":[]},{"given":"Brunella","family":"Gerla","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,12,7]]},"reference":[{"key":"9103_CR1","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/s10485-007-9069-4","volume":"15","author":"L.P. Belluce","year":"2007","unstructured":"Belluce, L.P., Di Nola, A., Gerla, B.: Perfect MV-algebras and their logic. Appl. Categ. Struct. 15, 135\u2013151 (2007)","journal-title":"Appl. Categ. Struct."},{"key":"9103_CR2","doi-asserted-by":"crossref","first-page":"1356","DOI":"10.4153\/CJM-1986-069-0","volume":"38","author":"L.P. Belluce","year":"1986","unstructured":"Belluce L.P.: Semisimple algebras of infinite-valued logic. Can. J. Math. 38, 1356\u20131379 (1986)","journal-title":"Can. J. Math."},{"key":"9103_CR3","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1006\/jmaa.1999.6623","volume":"241","author":"L.P. Belluce","year":"2000","unstructured":"Belluce, L.P.: The going up and going down theorems in MV-algebras and Abelian \u2113-groups. J. Math. Anal. Appl. 241, 92\u2013106 (2000)","journal-title":"J. Math. Anal. Appl."},{"key":"9103_CR4","doi-asserted-by":"crossref","first-page":"43","DOI":"10.2307\/2271335","volume":"28","author":"L.P. Belluce","year":"1963","unstructured":"Belluce, L.P., Chang, C.C.: A weak completeness theorem for infinite valued predicate logic. J. Symb. Log. 28, 43\u201350 (1963)","journal-title":"J. Symb. Log."},{"key":"9103_CR5","first-page":"7","volume":"27","author":"L.P. Belluce","year":"2003","unstructured":"Belluce, L.P., Di Nola, A.: The MV-algebra of first order \u0141ukasiewicz logic. General algebra and ordered sets. Tatra Mt. Math. Publ. 27, 7\u201322 (2003)","journal-title":"Tatra Mt. Math. Publ."},{"key":"9103_CR6","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"C.C. Chang","year":"1958","unstructured":"Chang, C.C.: Algebraic analysis of many valued logics. Trans. Am. Math. Soc. 88, 467\u2013490 (1958)","journal-title":"Trans. Am. Math. Soc."},{"key":"9103_CR7","volume-title":"Trends in Logic, vol. 7","author":"R. Cignoli","year":"2000","unstructured":"Cignoli, R., D\u2019Ottaviano, I., Mundici, D.: Algebraic foundations of many-valued reasoning. In: Trends in Logic, vol. 7. Kluwer, Dordrecht (2000)"},{"key":"9103_CR8","volume-title":"Theory of Lattice-ordered Groups","author":"M.L. Darnel","year":"1994","unstructured":"Darnel, M.L.: Theory of Lattice-ordered Groups. Dekker, New York (1994)"},{"key":"9103_CR9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/s00012-007-1984-6","volume":"56","author":"A. Di Nola","year":"2007","unstructured":"Di Nola, A., Esposito, I., Gerla, B.: Local MV-algebras in the representation of MV-algebras. Algebra Univers. 56 133\u2013164 (2007)","journal-title":"Algebra Univers."},{"key":"9103_CR10","first-page":"291","volume":"XL","author":"A. Di Nola","year":"1991","unstructured":"Di Nola, A.: Representation and reticulation by quotients of MV-algebras. Ric. Mat. XL, 291\u2013297 (1991)","journal-title":"Ric. Mat."},{"key":"9103_CR11","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/BF01057937","volume":"53","author":"A. Di Nola","year":"1994","unstructured":"Di Nola, A., Lettieri, A.: Perfect MV-algebras are categorically equivalent to Abelian \u2113-groups. Stud. Log. 53, 417\u2013432 (1994)","journal-title":"Stud. Log."},{"key":"9103_CR12","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1006\/jabr.1999.7900","volume":"221","author":"A. Di Nola","year":"1999","unstructured":"Di Nola, A., Lettieri, A.: Equational characterization of all varieties of MV-algebras. J. Algebra 221, 463\u2013474 (1999)","journal-title":"J. Algebra"},{"key":"9103_CR13","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/s00500-007-0184-9","volume":"12","author":"T. Flaminio","year":"2008","unstructured":"Flaminio, T.: Strong non-standard completeness for fuzzy logics. Soft Comput. 12, 321\u2013333 (2008)","journal-title":"Soft Comput."},{"key":"9103_CR14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s11083-007-9062-4","volume":"24","author":"A.W. Hager","year":"2007","unstructured":"Hager, A.W., Kimber, C.M.: Uniformly hyperarchimedean lattice-ordered groups. Order 24, 121\u2013131 (2007)","journal-title":"Order"},{"key":"9103_CR15","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0027763000019577","volume":"84","author":"Y. Komori","year":"1981","unstructured":"Komori, Y.: Super \u0141ukasiewicz propositional logics. Nagoya Math. J. 84 119\u2013133 (1981)","journal-title":"Nagoya Math. J."},{"key":"9103_CR16","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0022-1236(86)90015-7","volume":"65","author":"D. Mundici","year":"1986","unstructured":"Mundici, D.: Interpretation of AF C*-algebras in Lukasiewicz sentential calculus. J. Funct Anal. 65, 15\u201363 (1986)","journal-title":"J. Funct Anal."},{"key":"9103_CR17","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2964111","volume":"27","author":"B. Scarpellini","year":"1962","unstructured":"Scarpellini, B.: Die Nichaxiomatisierbarkeit des unendlichwertigen pradikatenkalkulus von Lukasiewicz. J. Symb. Log. 27, 159\u2013170 (1962)","journal-title":"J. Symb. Log."},{"key":"9103_CR18","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1002\/malq.19940400402","volume":"40","author":"A. Torrens","year":"1994","unstructured":"Torrens, A.: Cyclic elements in MV-algebras and post algebras. Math. Log. Q. 40, 431\u2013444 (1994)","journal-title":"Math. Log. Q."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-008-9103-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-008-9103-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-008-9103-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T05:12:12Z","timestamp":1559365932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-008-9103-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":18,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,11]]}},"alternative-id":["9103"],"URL":"https:\/\/doi.org\/10.1007\/s11083-008-9103-7","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11]]}}}