{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T11:27:05Z","timestamp":1753356425143},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407874"},{"type":"electronic","value":"9783540452065"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45206-5_6","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T05:17:05Z","timestamp":1294377425000},"page":"32-47","source":"Crossref","is-referenced-by-count":3,"title":["Bounded \u0141ukasiewicz Logics"],"prefix":"10.1007","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Metcalfe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"939","DOI":"10.2307\/2273828","volume":"52","author":"A. Avron","year":"1987","unstructured":"Avron, A.: A constructive analysis of RM. J. of Symbolic Logic\u00a052, 939\u2013951 (1987)","journal-title":"J. of Symbolic Logic"},{"key":"6_CR2","doi-asserted-by":"publisher","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. Amer. Math. Soc.\u00a088, 467\u2013490 (1958)","journal-title":"Trans. Amer. Math. Soc."},{"key":"6_CR3","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/3-540-48754-9_13","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"A. Ciabattoni","year":"1999","unstructured":"Ciabattoni, A.: Bounded contraction in systems with linearity. In: Murray, N.V. (ed.) TABLEAUX 1999. LNCS (LNAI), vol.\u00a01617, pp. 113\u2013127. Springer, Heidelberg (1999)"},{"unstructured":"Cicalese, F.: Reliable Computation with Unreliable Information. PhD thesis, University of Salerno (2001), http:\/\/dia.unisa.it\/cicalese.dir\/thesis.html","key":"6_CR4"},{"key":"6_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-valued Reasoning","author":"R.L.O. Cignoli","year":"2000","unstructured":"Cignoli, R.L.O., Mundici, D., D\u2019Ottaviano, I.M.L.: Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht (2000)"},{"key":"6_CR6","first-page":"81","volume-title":"Selected Papers on \u0141ukasiewicz Sentential Calculi","author":"R. Grigolia","year":"1977","unstructured":"Grigolia, R.: Algebraic analysis of \u0141ukasiewicz-Tarski n-valued logical systems. In: W\u00f3jciki, R., Malinowski, G. (eds.) Selected Papers on \u0141ukasiewicz Sentential Calculi, pp. 81\u201391. Polish Acad. of Sciences, Warsaw (1977)"},{"key":"6_CR7","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.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"key":"6_CR8","first-page":"169","volume":"5","author":"J. \u0141ukasiewicz","year":"1920","unstructured":"\u0141ukasiewicz, J.: O logice tr\u00f3jwarto\u015bciowej. Ruch Filozoficzny\u00a05, 169\u2013171 (1920)","journal-title":"Ruch Filozoficzny"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R. McNaughton","year":"1951","unstructured":"McNaughton, R.: A theorem about infinite-valued sentential logic. Journal of Symbolic Logic\u00a016(1), 1\u201313 (1951)","journal-title":"Journal of Symbolic Logic"},{"key":"6_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/3-540-45616-3_14","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"G. Metcalfe","year":"2002","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Analytic sequent calculi for abelian and \u0141ukasiewicz logics. In: Egly, U., Ferm\u00fcller, C. (eds.) TABLEAUX 2002. LNCS (LNAI), vol.\u00a02381, pp. 191\u2013205. Springer, Heidelberg (2002)"},{"unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Sequent and hypersequent calculi for Abelian and \u0141ukasiewicz logics (2003) (submitted), http:\/\/arXiv.org\/list\/cs\/0211","key":"6_CR11"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1017\/CBO9780511983474.017","volume-title":"Knowledge, belief and strategic interaction","author":"D. Mundici","year":"1992","unstructured":"Mundici, D.: The logic of Ulam\u2019s game with lies. In: Bicchieri, C., Dalla Chiara, M.L. (eds.) Knowledge, belief and strategic interaction, pp. 275\u2013284. Cambridge University Press, Cambridge (1992)"},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"151","DOI":"10.3233\/FI-1993-182-405","volume":"18","author":"D. Mundici","year":"1993","unstructured":"Mundici, D.: Ulam\u2019s game, \u0141ukasiewicz logic and C\u2009\u2217\u2009-algebras. Fundamenta Informaticae\u00a018, 151\u2013161 (1993)","journal-title":"Fundamenta Informaticae"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0304-3975(89)90077-7","volume":"63","author":"A. Pelc","year":"1989","unstructured":"Pelc, A.: Searching with known error probability. Theoretical Computer Science\u00a063, 185\u2013202 (1989)","journal-title":"Theoretical Computer Science"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/BF00370844","volume":"57","author":"A. Prijatelj","year":"1996","unstructured":"Prijatelj, A.: Bounded contraction and Gentzen style formulation of \u0141ukasiewicz logics. Studia Logica\u00a057, 437\u2013456 (1996)","journal-title":"Studia Logica"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08, 338\u2013353 (1965)","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45206-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T01:30:09Z","timestamp":1637112609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45206-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407874","9783540452065"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45206-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}