{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T16:17:55Z","timestamp":1781281075193,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540230243","type":"print"},{"value":"9783540301240","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30124-0_38","type":"book-chapter","created":{"date-parts":[[2010,3,2]],"date-time":"2010-03-02T17:27:59Z","timestamp":1267550879000},"page":"503-517","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Automated Generation of Analytic Calculi for Logics with Linearity"],"prefix":"10.1007","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2004,9,9]]},"reference":[{"key":"38_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":"38_CR2","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A. Avron","year":"1991","unstructured":"Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence\u00a04, 225\u2013248 (1991)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"38_CR3","series-title":"Lecture Notes in Artificial Intelligence","first-page":"23","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"M. Baaz","year":"2002","unstructured":"Baaz, M., Ciabattoni, A.: A sch\u00fctte-tait style cut-elimination proof for first-order g\u00f6del logic. In: Egly, U., Ferm\u00fcller, C. (eds.) TABLEAUX 2002. LNCS (LNAI), vol.\u00a02381, pp. 23\u201333. Springer, Heidelberg (2002)"},{"key":"38_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/logcom\/13.6.835","volume":"13","author":"M. Baaz","year":"2003","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.G.: Hypersequent Calculi for G\u00f6del Logics \u2014 a Survey. J. of Logic and Computation\u00a013, 1\u201327 (2003)","journal-title":"J. of Logic and Computation"},{"issue":"4","key":"38_CR5","doi-asserted-by":"crossref","first-page":"315","DOI":"10.3233\/FUN-2004-59401","volume":"59","author":"M. Baaz","year":"2004","unstructured":"Baaz, M., Ciabattoni, A., Montagna, F.: Analytic Calculi for Monoidal T-norm Based Logic. Fundamenta Informaticae\u00a059(4), 315\u2013332 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"38_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BFb0055769","volume-title":"Mathematical Foundations of Computer Science 1998","author":"M. Baaz","year":"1998","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.G., Veith, H.: Proof Theory of Fuzzy Logics: Urquhart\u2019s C and Related Logics. In: Brim, L., Gruska, J., Zlatu\u0161ka, J. (eds.) MFCS 1998. LNCS, vol.\u00a01450, pp. 203\u2013212. Springer, Heidelberg (1998)"},{"key":"38_CR7","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/BF00370118","volume":"51","author":"G. Corsi","year":"1992","unstructured":"Corsi, G.: Completeness theorem for Dummett\u2019s LC quantified and some of its extension. Studia Logica\u00a051, 317\u2013335 (1992)","journal-title":"Studia Logica"},{"key":"38_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with denumerable matrix. J. Symbolic Logic\u00a024, 97\u2013106 (1959)","journal-title":"J. Symbolic Logic"},{"key":"38_CR9","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1023\/A:1016548805869","volume":"71","author":"F. Esteva","year":"2002","unstructured":"Esteva, F., Gispert, J., Godo, L., Montagna, F.: On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic. Studia Logica\u00a071, 393\u2013420 (2002)","journal-title":"Studia Logica"},{"key":"38_CR10","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G. Gentzen","year":"1934","unstructured":"Gentzen, G.: Untersuchungen\u00fcber das logische Schliessen I, II. Mathematische Zeitschrift\u00a039, 176\u2013210 (1934)","journal-title":"Mathematische Zeitschrift"},{"key":"38_CR11","first-page":"34","volume":"4","author":"K. G\u00f6del","year":"1933","unstructured":"G\u00f6del, K.: Zum Intuitionistischen Aussagenkalk\u00fcl. Ergebnisse eines mathematischen Kolloquiums\u00a04, 34\u201338 (1933)","journal-title":"Ergebnisse eines mathematischen Kolloquiums"},{"key":"38_CR12","doi-asserted-by":"publisher","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":"38_CR13","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H. Ono","year":"1985","unstructured":"Ono, H., Komori, Y.: Logics without the contraction rule. J. of Symbolic Logic\u00a050, 169\u2013201 (1985)","journal-title":"J. of Symbolic Logic"},{"key":"38_CR14","first-page":"900","volume":"48","author":"G. Pottinger","year":"1983","unstructured":"Pottinger, G.: Uniform, cut-free formulation of T,S4 and S5 (abstract). J. of Symbolic Logic\u00a048, 900 (1983)","journal-title":"J. of Symbolic Logic"},{"key":"38_CR15","volume-title":"Beweistheorie","author":"K. Sch\u00fctte","year":"1960","unstructured":"Sch\u00fctte, K.: Beweistheorie. Springer, Heidelberg (1960)"},{"key":"38_CR16","doi-asserted-by":"crossref","unstructured":"Schwichtenberg, H.: Proof Theory: Some applications of Cut-Elimination. In: Barwise, J. (ed.) Handbook of Mathematical Logic, North-Holland, pp. 868\u2013894 (1977)","DOI":"10.1016\/S0049-237X(08)71124-8"},{"key":"38_CR17","doi-asserted-by":"crossref","unstructured":"Tait, W.W.: Normal derivability in classical logic. In: The Syntax and Semantics of infinitary Languages. LNM, vol.\u00a072, pp. 204\u2013236 (1968)","DOI":"10.1007\/BFb0079691"},{"key":"38_CR18","volume-title":"Proof Theory","author":"G. Takeuti","year":"1987","unstructured":"Takeuti, G.: Proof Theory, 2nd edn. North-Holland, Amsterdam (1987)","edition":"2"},{"key":"38_CR19","doi-asserted-by":"publisher","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"G. Takeuti","year":"1984","unstructured":"Takeuti, G., Titani, T.: Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J. of Symbolic Logic\u00a049, 851\u2013866 (1984)","journal-title":"J. of Symbolic Logic"},{"key":"38_CR20","volume-title":"Basic Proof Theory","author":"A.S. Troelstra","year":"1996","unstructured":"Troelstra, A.S., Schwichtenberg, H.: Basic Proof Theory. Cambridge University Press, Cambridge (1996)"},{"key":"38_CR21","doi-asserted-by":"crossref","unstructured":"Urquhart, A.: Basic Many-valued Logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0III First and Second edition. (1984, 2000)","DOI":"10.1007\/978-94-017-0452-6_4"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30124-0_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,18]],"date-time":"2025-02-18T23:00:32Z","timestamp":1739919632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30124-0_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540230243","9783540301240"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30124-0_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]},"assertion":[{"value":"9 September 2004","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}