{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:17:12Z","timestamp":1759033032747,"version":"3.43.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1023\/a:1005030314538","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:31:12Z","timestamp":1040484672000},"page":"65-78","source":"Crossref","is-referenced-by-count":22,"title":["Finitely Generated Free MV-algebras and Their Automorphism Groups"],"prefix":"10.1007","volume":"61","author":[{"given":"Antonio","family":"Di Nola","sequence":"first","affiliation":[]},{"given":"Revaz","family":"Grigolia","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"Panti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"182695_CR1","doi-asserted-by":"crossref","unstructured":"Bigard, A., K. Keimel, and S. Wolfenstein, Groupes et anneaux r\u00e9ticul\u00e9s, volume 608 of Lecture Notes in Math. Springer, 1977.","DOI":"10.1007\/BFb0067004"},{"key":"182695_CR2","volume-title":"Algebras das logicas de \u0141ukasiewicz","author":"R. Cignoli","year":"1995","unstructured":"Cignoli, R., I. D'Ottaviano, and D. Mundici, Algebras das logicas de \u0141ukasiewicz, Centro de Logica, Epistemologia e Historia da Ci\u00eancia, Campinas, S\u00e3o Paulo, Brazil, 2nd edition, 1995.","edition":"2nd edition"},{"key":"182695_CR3","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., \u2018Algebraic analysis of many valued logics\u2019, Trans. Amer. Math. Soc. 88:467\u2013490, 1958.","journal-title":"Trans. Amer. Math. Soc."},{"key":"182695_CR4","first-page":"74","volume":"93","author":"C. C. Chang","year":"1959","unstructured":"Chang, C. C., \u2018A new proof of the completeness of the \u0141ukasiewicz axioms\u2019, Trans. Amer. Math. Soc. 93:74\u201380, 1959.","journal-title":"Trans. Amer. Math. Soc."},{"key":"182695_CR5","unstructured":"Hocking, J. G., and G. S. Young, Topology, Dover, 1988. First published in 1961 by Addison-Wesley."},{"key":"182695_CR6","unstructured":"Kelley, J. L., General Topology, Van Nostrand, 1955."},{"key":"182695_CR7","unstructured":"Kokorin, A. I., and V. M. Kopytov, Fully Ordered Groups, Wiley, 1974."},{"key":"182695_CR8","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0027763000019577","volume":"84","author":"Y. Komori","year":"1981","unstructured":"Komori, Y., \u2018Super-\u0141ukasiewicz propositional logic\u2019, Nagoya Math. J. 84:119\u2013133, 1981.","journal-title":"Nagoya Math. J."},{"key":"182695_CR9","unstructured":"Lang, S., Algebra, Addison-Wesley, 3rd edition, 1993."},{"key":"182695_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R. McNaughton","year":"1951","unstructured":"McNaughton, R., \u2018A theorem about infinite-valued sentential logic\u2019, J. of Symbolic Logic 16:1\u201313, 1951.","journal-title":"J. of Symbolic Logic"},{"key":"182695_CR11","unstructured":"Magnus, W., A. Karrass, and D. Solitar, Combinatorial Group Theory, Dover, 2nd revised edition, 1976. First published in 1966 by Interscience Publishers."},{"key":"182695_CR12","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., \u2018Interpretation of AF C*-algebras in \u0141ukasiewicz sentential calculus\u2019, J. of Functional Analysis 65:15\u201363, 1986.","journal-title":"J. of Functional Analysis"},{"issue":"1","key":"182695_CR13","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0021-8693(88)90185-8","volume":"113","author":"D. Mundici","year":"1988","unstructured":"Mundici, D., \u2018Free products in the category of abelian \u2113-groups with strong unit\u2019, J. of Algebra 113(1):89\u2013109, 1988.","journal-title":"J. of Algebra"},{"key":"182695_CR14","doi-asserted-by":"crossref","first-page":"596","DOI":"10.2307\/2275410","volume":"59","author":"D. Mundici","year":"1994","unstructured":"Mundici, D., \u2018A constructive proof of McNaughton's theorem in infinite-valued logic\u2019 J. of Symbolic Logic 59:596\u2013602, 1994.","journal-title":"J. of Symbolic Logic"},{"key":"182695_CR15","unstructured":"Panti, G., \u2018The logic of partially ordered abelian groups with strong unit\u2019 in G. Gerla, editor, Atti del XV Incontro di Logica Matematica di Camerino, p. 85\u2013107, 1992."},{"issue":"2","key":"182695_CR16","doi-asserted-by":"crossref","first-page":"563","DOI":"10.2307\/2275851","volume":"60","author":"G. Panti","year":"1995","unstructured":"Panti, G., \u2018A geometric proof of the completeness of the \u0141ukasiewicz calculus\u2019, J. of Symbolic Logic 60(2):563\u2013578, 1995.","journal-title":"J. of Symbolic Logic"},{"key":"182695_CR17","unstructured":"Panti, G., La logica infinito-valente di \u0141ukasiewicz, PhD thesis, Dept. of Mathematics, University of Siena, 1995."},{"key":"182695_CR18","doi-asserted-by":"crossref","unstructured":"Rourke, C. P., and B. J. Sanderson, Introduction to Piccewise-Linear Topology, Springer, 1972.","DOI":"10.1007\/978-3-642-81735-9"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005030314538.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005030314538\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005030314538.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:12:52Z","timestamp":1754629972000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005030314538"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["182695"],"URL":"https:\/\/doi.org\/10.1023\/a:1005030314538","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}