{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T11:29:37Z","timestamp":1772623777952,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642207112","type":"print"},{"value":"9783642207129","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20712-9_36","type":"book-chapter","created":{"date-parts":[[2011,6,11]],"date-time":"2011-06-11T00:05:22Z","timestamp":1307750722000},"page":"456-469","source":"Crossref","is-referenced-by-count":2,"title":["A Multiple-Conclusion Calculus for First-Order G\u00f6del Logic"],"prefix":"10.1007","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ori","family":"Lahav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"36_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1093\/jigpal\/7.4.447","volume":"7","author":"A. Avellone","year":"1999","unstructured":"Avellone, A., Ferrari, M., Miglioli, P.: Duplication-free Tableaux Calculi Together with Cut-free and Contraction-free Sequent Calculi for the Interpolable Propositional Intermediate Logics. Logic J. IGPL\u00a07, 447\u2013480 (1999)","journal-title":"Logic J. IGPL"},{"key":"36_CR2","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A. Avron","year":"1991","unstructured":"Avron, A.: Using Hypersequents in Proof Systems for Non-classical Logics. Annals of Mathematics and Artificial Intelligence\u00a04, 225\u2013248 (1991)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"36_CR3","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF00881838","volume":"10","author":"A. Avron","year":"1993","unstructured":"Avron, A.: Gentzen-Type Systems, Resolution and Tableaux. Journal of Automated Reasoning\u00a010, 265\u2013281 (1993)","journal-title":"Journal of Automated Reasoning"},{"key":"36_CR4","doi-asserted-by":"crossref","unstructured":"Avron, A.: A Simple Proof of Completeness and Cut-admissibility for Propositional G\u00f6del Logic. Journal of Logic and Computation (2009), doi:10.1093\/logcom\/exp055","DOI":"10.1093\/logcom\/exp055"},{"key":"36_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1023\/A:1013813806341","volume":"69","author":"A. Avron","year":"2001","unstructured":"Avron, A., Konikowska, B.: Decomposition Proof Systems for G\u00f6del Logics. Studia Logica\u00a069, 197\u2013219 (2001)","journal-title":"Studia Logica"},{"key":"36_CR6","doi-asserted-by":"publisher","first-page":"835","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 - a Survey. Journal of Logic and Computation\u00a013, 835\u2013861 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"36_CR7","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147","author":"M. Baaz","year":"2007","unstructured":"Baaz, M., Preining, N., Zach, R.: First-order G\u00f6del Logics. Annals of Pure and Applied Logic\u00a0147, 23\u201347 (2007)","journal-title":"Annals of Pure and Applied Logic"},{"key":"36_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-44622-2_12","volume-title":"Computer Science Logic","author":"M. Baaz","year":"2000","unstructured":"Baaz, M., Zach, R.: Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 187\u2013201. Springer, Heidelberg (2000)"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Ciabattoni, A., Galatos, N., Terui, K.: From Axioms to Analytic Rules in Nonclassical Logics. In: Proceedings of LICS, pp. 229\u2013240 (2008)","DOI":"10.1109\/LICS.2008.39"},{"key":"36_CR10","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF00373275","volume":"45","author":"G. Corsi","year":"1986","unstructured":"Corsi, G.: Semantic Trees for Dummett\u2019s Logic LC. Studia Logica\u00a045, 199\u2013206 (1986)","journal-title":"Studia Logica"},{"key":"36_CR11","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/jigpal\/7.3.319","volume":"7","author":"D. Dyckhoff","year":"1999","unstructured":"Dyckhoff, D.: A Deterministic Terminating Sequent Calculus for G\u00f6del-Dummett Logic. Logic J. IGPL\u00a07, 319\u2013326 (1999)","journal-title":"Logic J. IGPL"},{"key":"36_CR12","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/s00153-005-0321-z","volume":"45","author":"D. Dyckhoff","year":"2006","unstructured":"Dyckhoff, D., Negri, S.: Decision Methods for Linearly Ordered Heyting Algebras. Archive for Mathematical Logic\u00a045, 411\u2013422 (2006)","journal-title":"Archive for Mathematical Logic"},{"key":"36_CR13","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1017\/S0022481200125848","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M.: A Propositional Calculus with a Denumerable matrix. Journal of Symbolic Logic\u00a024, 96\u2013107 (1959)","journal-title":"Journal of Symbolic Logic"},{"key":"36_CR14","volume-title":"Semantical Investigations in Heyting\u2019s Intuitionistic Logic","author":"D. Gabbay","year":"1983","unstructured":"Gabbay, D.: Semantical Investigations in Heyting\u2019s Intuitionistic Logic. Reidel, Dordrechtz (1983)"},{"key":"36_CR15","volume-title":"Collected Work","author":"K. G\u00f6del","year":"1986","unstructured":"G\u00f6del, K.: On the Intuitionistic Propositional Calculus. In: Feferman, S., et al. (eds.) Collected Work, vol.\u00a01, Oxford University Press, Oxford (1986)"},{"key":"36_CR16","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 Academic Publishers, Dordrecht (1998)"},{"key":"36_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-9409-5","volume-title":"Proof Theory for Fuzzy Logics","author":"G. Metcalfe","year":"2009","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Proof Theory for Fuzzy Logics. Springer, Heidelberg (2009)"},{"key":"36_CR18","first-page":"7","volume":"7","author":"O. Sonobe","year":"1975","unstructured":"Sonobe, O.: A Gentzen-type Formulation of Some Intermediate Propositional Logics. Journal of Tsuda College\u00a07, 7\u201314 (1975)","journal-title":"Journal of Tsuda College"},{"key":"36_CR19","first-page":"851","volume":"11","author":"M. Takano","year":"1984","unstructured":"Takano, M.: P Another proof of the strong completeness of the intuitionistic fuzzy logic. Tsukuba J. Math.\u00a011, 851\u2013866 (1984)","journal-title":"Tsukuba J. Math."},{"key":"36_CR20","volume-title":"Proof Theory","author":"G. Takeuti","year":"1975","unstructured":"Takeuti, G.: Proof Theory. North-Holland, Amsterdam (1975)"},{"key":"36_CR21","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. Journal of Symbolic Logic\u00a049, 851\u2013866 (1984)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Computer Science \u2013 Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20712-9_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T12:56:28Z","timestamp":1560257788000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20712-9_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642207112","9783642207129"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20712-9_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}