{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:53:31Z","timestamp":1725551611272},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540305538"},{"type":"electronic","value":"9783540316503"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11591191_47","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T09:44:25Z","timestamp":1132652665000},"page":"682-696","source":"Crossref","is-referenced-by-count":1,"title":["Bounding Resource Consumption with G\u00f6del-Dummett Logics"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Larchey-Wendling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"47_CR1","first-page":"65","volume":"69","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionistischen Aussagenkalk\u00fcl. Anzeiger Akademie des Wissenschaften Wien\u00a069, 65\u201366 (1932)","journal-title":"Anzeiger Akademie des Wissenschaften Wien"},{"key":"47_CR2","doi-asserted-by":"crossref","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":"47_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. Hajek","year":"1998","unstructured":"Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"47_CR4","doi-asserted-by":"publisher","first-page":"795","DOI":"10.2307\/2275431","volume":"57","author":"R. Dyckhoff","year":"1992","unstructured":"Dyckhoff, R.: Contraction-free Sequent Calculi for Intuitionistic Logic. Journal of Symbolic Logic\u00a057, 795\u2013807 (1992)","journal-title":"Journal of Symbolic Logic"},{"key":"47_CR5","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/jigpal\/7.3.319","volume":"7","author":"R. Dyckhoff","year":"1999","unstructured":"Dyckhoff, R.: A Deterministic Terminating Sequent Calculus for G\u00f6del-Dummett logic. Logical Journal of the IGPL\u00a07, 319\u2013326 (1999)","journal-title":"Logical Journal of the IGPL"},{"key":"47_CR6","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 Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics. Logic Journal of the IGPL\u00a07, 447\u2013480 (1999)","journal-title":"Logic Journal of the IGPL"},{"key":"47_CR7","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/10722086_11","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"A. Avron","year":"2000","unstructured":"Avron, A.: A Tableau System for G\u00f6del-Dummett Logic Based on a Hypersequent Calculus. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS (LNAI), vol.\u00a01847, pp. 98\u2013111. Springer, Heidelberg (2000)"},{"key":"47_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-540-45220-1_33","volume-title":"Computer Science Logic","author":"G. Metcalfe","year":"2003","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Goal-Directed Calculi for G\u00f6del-Dummett Logics. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 413\u2013426. Springer, Heidelberg (2003)"},{"key":"47_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1007\/3-540-45620-1_7","volume-title":"Automated Deduction - CADE-18","author":"D. Larchey-Wendling","year":"2002","unstructured":"Larchey-Wendling, D.: Combining Proof-Search and Counter-Model Construction for Deciding G\u00f6del-Dummett Logic. In: Voronkov, A. (ed.) CADE 2002. LNCS (LNAI), vol.\u00a02392, pp. 94\u2013110. Springer, Heidelberg (2002)"},{"key":"47_CR10","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.: Hypersequent Calculi for G\u00f6del Logics \u2013 A Survey. Journal of Logic and Computation\u00a013, 835\u2013861 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"47_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-25984-8_19","volume-title":"Automated Reasoning","author":"D. Larchey-Wendling","year":"2004","unstructured":"Larchey-Wendling, D.: Counter-model search in G\u00f6del-Dummett logics. In: Basin, D., Rusinowitch, M. (eds.) IJCAR 2004. LNCS (LNAI), vol.\u00a03097, pp. 274\u2013288. Springer, Heidelberg (2004)"},{"key":"47_CR12","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.entcs.2004.07.022","volume":"125","author":"D. Larchey-Wendling","year":"2005","unstructured":"Larchey-Wendling, D.: G\u00f6del-Dummett counter-models through matrix computation. Electronic Notes in Theoretical Computer Science\u00a0125, 137\u2013148 (2005)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"47_CR13","series-title":"International series in computer science","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International series in computer science. Prentice-Hall, Englewood Cliffs (1989)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11591191_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:51:37Z","timestamp":1619506297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11591191_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540305538","9783540316503"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11591191_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}