{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T18:20:26Z","timestamp":1768069226539,"version":"3.49.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1023\/a:1008311022292","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"5-29","source":"Crossref","is-referenced-by-count":44,"title":["Finiteness in Infinite-Valued \u0141ukasiewicz Logic"],"prefix":"10.1007","volume":"9","author":[{"given":"Stefano","family":"Aguzzoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agata","family":"Ciabattoni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"210950_CR1","first-page":"111","volume":"2","author":"S. Aguzzoli","year":"1998","unstructured":"Aguzzoli, S., 1998a, \u201cA note on the representation of McNaughton lines by basic literals,\u201d Soft Computing (Special Issue on Multiple-Valued Logic) 2, 111-115.","journal-title":"Soft Computing (Special Issue on Multiple-Valued Logic)"},{"key":"210950_CR2","unstructured":"Aguzzoli, S., 1998b, \u201cGeometric and proof-theoretic issues in \u0141ukasiewicz propositional logics,\u201d Ph.D. Dissertation, University of Siena."},{"key":"210950_CR3","doi-asserted-by":"crossref","unstructured":"Aguzzoli, S., Ciabattoni, A., and Di Nola, A., 1999, \u201cSequent calculi for finite-valued \u0141ukasiewicz logics via Boolean decompositions,\u201d Journal of Logic and Computation, to appear.","DOI":"10.1093\/logcom\/10.2.213"},{"key":"210950_CR4","first-page":"333","volume":"6","author":"M. Baaz","year":"1994","unstructured":"Baaz, M., Ferm\u00fcller, C.G., and Zach, R., 1994, \u201cElimination of cuts in first-order finite-valued logics,\u201d Journal of Information Processing and Cybernetics\n6, 333-355.","journal-title":"Journal of Information Processing and Cybernetics"},{"issue":"2","key":"210950_CR5","doi-asserted-by":"crossref","first-page":"473","DOI":"10.2307\/2274395","volume":"52","author":"W.A. Carnielli","year":"1987","unstructured":"Carnielli, W.A., 1987, \u201cSystematization of finite many-valued logics through the method of tableaux,\u201d Journal of Symbolic Logic\n52(2), 473-493.","journal-title":"Journal of Symbolic Logic"},{"key":"210950_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-63385-5_38","volume-title":"Proceedings of Computational Logic and Proof Theory, (KGC'97)","author":"A. Ciabattoni","year":"1997","unstructured":"Ciabattoni, A. and Luchi, D., 1997, \u201cTwo connections between linear logic and \u0141ukasiewicz logics,\u201d pp. 128-139 in Proceedings of Computational Logic and Proof Theory, (KGC'97), G. Gottlob, A. Leitsch and D. Mundici, eds., Lecture Notes in Computer Science, Vol. 1289, Berlin: Springer-Verlag."},{"key":"210950_CR7","doi-asserted-by":"crossref","unstructured":"Cignoli, R., D'Ottaviano, I.M., and Mundici, D., 1999, Algebraic Foundations of Many-Valued Reasoning, in preparation.","DOI":"10.1007\/978-94-015-9480-6"},{"key":"210950_CR8","series-title":"Graduate Texts inMathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4044-0","volume-title":"Combinatorial Convexity and Algebraic Geometry","author":"G. Ewald","year":"1996","unstructured":"Ewald, G., 1996, Combinatorial Convexity and Algebraic Geometry, Graduate Texts inMathematics, Vol. 168, Berlin: Springer-Verlag."},{"issue":"4","key":"210950_CR9","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1093\/logcom\/7.4.473","volume":"7","author":"A.J. Gil","year":"1997","unstructured":"Gil, A.J., Torrens, A., and Verd\u00da, V., 1997, \u201cOn Gentzen systems associated with the finite linear MV-algebras,\u201d Journal of Logic and Computation\n7(4), 473-500.","journal-title":"Journal of Logic and Computation"},{"key":"210950_CR10","first-page":"81","volume-title":"Selected Papers on \u0141ukasiewicz Sentential Calculi","author":"R. Grigolia","year":"1977","unstructured":"Grigolia, R., 1977, \u201cAlgebraic analysis of \u0141ukasiewicz-Tarski n-valued logical systems,\u201d pp. 81-91 in Selected Papers on \u0141ukasiewicz Sentential Calculi, R. W\u00f3jcicki and G. Malinowski, eds., Wroc\u0142aw: Polish Academy of Sciences, Ossolineum."},{"key":"210950_CR11","volume-title":"Automated Deduction inMultiple-Valued Logics","author":"R. H\u00e4hnle","year":"1993","unstructured":"H\u00e4hnle, R., 1993, Automated Deduction inMultiple-Valued Logics, Oxford: Oxford University Press."},{"key":"210950_CR12","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01530787","volume":"12","author":"R. H\u00e4hnle","year":"1994","unstructured":"H\u00e4hnle, R., 1994, \u201cMany-valued logic and mixed integer programming,\u201d Annals of Mathematics and Artificial Intelligence\n12, 231-264.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"210950_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P., 1998, Metamathematics of Fuzzy Logic, Dordrecht: Kluwer Academic Publishers."},{"key":"210950_CR14","first-page":"170","volume":"5","author":"J. \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz, J., 1920, \u201cO logice tr\u00f3wartosciowej,\u201d Ruch Filozoficzny\n5, 170-171. English Translation: 1970, \u201cOn three-valued logic,\u201d pp. 87-88 in J. \u0141ukasiewicz Selected Works, L. Borkowski, ed., Amsterdam: North-Holland.","journal-title":"Ruch Filozoficzny"},{"key":"210950_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R. McNaughton","year":"1951","unstructured":"McNaughton, R., 1951, \u201cA theorem about infinite-valued sentential logic,\u201d Journal of Symbolic Logic\n16, 1-13.","journal-title":"Journal of Symbolic Logic"},{"key":"210950_CR16","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0304-3975(87)90083-1","volume":"52","author":"D. Mundici","year":"1987","unstructured":"Mundici, D., 1987, \u201cSatisfiability in many-valued sentential logic is NP-complete,\u201d Theoretical Computer Science\n52, 145-153.","journal-title":"Theoretical Computer Science"},{"key":"210950_CR17","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/S0304-3975(98)00012-7","volume":"200","author":"D. Mundici","year":"1998","unstructured":"Mundici, D. and Olivetti, N., 1998, \u201cResolution and model building in the infinite-valued calculus of \u0141ukasiewicz,\u201d Theoretical Computer Science\n200, 335-366.","journal-title":"Theoretical Computer Science"},{"key":"210950_CR18","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/BF00370844","volume":"57","author":"A. Prijatelj","year":"1996","unstructured":"Prijatelj, A., 1996, \u201cBounded contraction and Gentzen style formulation of \u0141ukasiewicz logics,\u201d Studia Logica\n57, 437-456.","journal-title":"Studia Logica"},{"key":"210950_CR19","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4064\/fm-60-1-23-33","volume":"60","author":"G. Rousseau","year":"1967","unstructured":"Rousseau, G., 1967, \u201cSequents in many valued logic I,\u201d Fundamenta Mathematicae\n60, 23-33.","journal-title":"Fundamenta Mathematicae"},{"key":"210950_CR20","first-page":"95","volume":"9","author":"M. Takahashi","year":"1967","unstructured":"Takahashi, M., 1967, \u201cMany-valued logics of extended Gentzen style I,\u201d Science Reports of the Tokyo Kyoiku Daigaku, Section A\n9, 95-116.","journal-title":"Science Reports of the Tokyo Kyoiku Daigaku, Section A"},{"issue":"4","key":"210950_CR21","doi-asserted-by":"crossref","first-page":"493","DOI":"10.2307\/2271438","volume":"35","author":"M. Takahashi","year":"1970","unstructured":"Takahashi, M., 1970, \u201cMany-valued logics of extended Gentzen style II,\u201d Journal of Symbolic Logic\n35(4), 493-528.","journal-title":"Journal of Symbolic Logic"},{"key":"210950_CR22","unstructured":"Wagner, H., 1999, \u201cA new resolution calculus for the infinite-valued propositional logic of \u0141ukasiewicz,\u201d Journal of Applied Non-Classical Logics, to appear."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008311022292.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008311022292\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008311022292.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:29:04Z","timestamp":1749724144000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008311022292"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["210950"],"URL":"https:\/\/doi.org\/10.1023\/a:1008311022292","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}