{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T16:50:30Z","timestamp":1776271830378,"version":"3.50.1"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":[[1997,1]]},"DOI":"10.1023\/a:1004991931741","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"79-97","source":"Crossref","is-referenced-by-count":29,"title":["An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz"],"prefix":"10.1007","volume":"58","author":[{"given":"Roberto","family":"Cignoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Mundici","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"126257_CR1","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., 1958, 'Algebraic analysis of many-valued logics, Trans. Amer. Math. Soc.\n88, 467-490.","journal-title":"Trans. Amer. Math. Soc."},{"key":"126257_CR2","first-page":"74","volume":"93","author":"C. C. Chang","year":"1959","unstructured":"Chang, C. C., 1959, 'A new proof of the completeness of the \u0141ukasiewicz axioms', Trans. Amer. Math. Soc.\n93, 74-80.","journal-title":"Trans. Amer. Math. Soc."},{"key":"126257_CR3","first-page":"113","volume-title":"Proceedings of the IXth Latin American Symposium on Mathematical Logic, I","author":"R. Cignoli","year":"1993","unstructured":"Cignoli, R., 1993, 'Free lattice-ordered abelian groups and varieties of MV-algebras', In: \u201cProceedings of the IXth Latin American Symposium on Mathematical Logic, I\u201d, Notas de L\u00f3gica Matem\u00e1tica, Universidad Nacional del Sur, Bah\u00eda Blanca, Argentina\n38, 113-118."},{"key":"126257_CR4","first-page":"68","volume":"8","author":"P. Mangani","year":"1973","unstructured":"Mangani, P., 1973, 'On certain algebras related to many-valued logics', (Italian), Bollettino Unione Matematica Italiana\n8, 68-78.","journal-title":"Bollettino Unione Matematica Italiana"},{"key":"126257_CR5","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., 1986, 'Interpretation of AF C*-algebras in \u0141ukasiewicz sentential calculus', J. Functional Analysis\n65, 15-63.","journal-title":"J. Functional Analysis"},{"key":"126257_CR6","doi-asserted-by":"crossref","first-page":"151","DOI":"10.3233\/FI-1993-182-405","volume":"18","author":"D. Mundici","year":"1993","unstructured":"Mundici, D., 1993, 'Ulam game, \u0141ukasiewicz logic, and AF C*-algebras', Fundamenta Informaticae\n18, 151-161.","journal-title":"Fundamenta Informaticae"},{"key":"126257_CR7","doi-asserted-by":"crossref","first-page":"563","DOI":"10.2307\/2275851","volume":"60","author":"G. Panti","year":"1995","unstructured":"Panti, G., 1995, 'A geometric proof of the completeness of the calculus of \u0141ukasiewicz', J. Symbolic Logic,\n60, 563-578.","journal-title":"J. Symbolic Logic"},{"key":"126257_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1958-0094299-1","volume":"87","author":"A. Rose","year":"1958","unstructured":"Rose, A., and J. B. Rosser, 1958, 'Fragments of many-valued statement calculi', Trans. Amer. Math. Soc.\n87, 1-53.","journal-title":"Trans. Amer. Math. Soc."},{"key":"126257_CR9","unstructured":"Tarski, A., J. \u0141ukasiewicz, 1956, 'Investigations into the Sentential Calculus', In: \u201dLogic, Semantics, Metamathematics\u201d, Oxford University Press, 38-59, reprinted by Hackett Publishing Company, Indianapolis, 1983."},{"key":"126257_CR10","volume-title":"Adventures of a Mathematician","author":"S. M. Ulam","year":"1976","unstructured":"Ulam, S. M., 1976, Adventures of a Mathematician, Scribner's, New York."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004991931741.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004991931741\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004991931741.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:31:34Z","timestamp":1754631094000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004991931741"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["126257"],"URL":"https:\/\/doi.org\/10.1023\/a:1004991931741","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}