{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:34Z","timestamp":1761611194057},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2006,12,1]],"date-time":"2006-12-01T00:00:00Z","timestamp":1164931200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2007,2,28]]},"DOI":"10.1007\/s10817-006-9047-9","type":"journal-article","created":{"date-parts":[[2006,11,30]],"date-time":"2006-11-30T13:32:53Z","timestamp":1164893573000},"page":"201-225","source":"Crossref","is-referenced-by-count":5,"title":["Graph-based Decision for G\u00f6del-Dummett Logics"],"prefix":"10.1007","volume":"38","author":[{"given":"Dominique","family":"Larchey-Wendling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,12,1]]},"reference":[{"issue":"4","key":"9047_CR1","doi-asserted-by":"crossref","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. Log. J. IGPL 7(4), 447\u2013480 (1999)","journal-title":"Log. J. IGPL"},{"key":"9047_CR2","first-page":"98","volume-title":"TABLEAUX 2000. Lecture Notes in Artificial Intelligence, vol. 1847","author":"A. Avron","year":"2000","unstructured":"Avron, A.: A tableau system for G\u00f6del-Dummett logic based on a hypersequent calculus. In: TABLEAUX 2000. Lecture Notes in Artificial Intelligence, vol. 1847, pp. 98\u2013111. Springer, Berlin Heidelberg New York (2000)"},{"issue":"2","key":"9047_CR3","doi-asserted-by":"crossref","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-Dummett logics. Stud. Log. 69(2), 197\u2013219 (2001)","journal-title":"Stud. Log."},{"key":"9047_CR4","doi-asserted-by":"crossref","unstructured":"Baaz, M., Ciabattoni, A., Ferm\u00fcller, C.: Cut-elimination in a sequents-of-relations calculus for G\u00f6del logic. In: ISMVL 2001. pp. 181\u2013186. IEEE Computer Society, Los Alamitos, CA (2001)","DOI":"10.1109\/ISMVL.2001.924570"},{"issue":"6","key":"9047_CR5","doi-asserted-by":"crossref","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. J. Log. Comput. 13(6), 835\u2013861 (2003)","journal-title":"J. Log. Comput."},{"key":"9047_CR6","doi-asserted-by":"crossref","unstructured":"Ciabattoni, A., Ferm\u00fcller, C., Metcalfe, G.: Uniform rules and dialogue games for fuzzy logics. In: LPAR 2004. Lecture Notes in Computer Science, vol. 3452, pp. 496\u2013510. Springer, Berlin Heidelberg New York (2004)","DOI":"10.1007\/978-3-540-32275-7_33"},{"key":"9047_CR7","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. J. Symb. Log. 24, 96\u2013107 (1959)","journal-title":"J. Symb. Log."},{"issue":"3","key":"9047_CR8","doi-asserted-by":"crossref","first-page":"795","DOI":"10.2307\/2275431","volume":"57","author":"R. Dyckhoff","year":"1992","unstructured":"Dyckhoff, R.: Contraction-free sequent calculi for intuitionistic logic. J. Symb. Log. 57(3), 795\u2013807 (1992)","journal-title":"J. Symb. Log."},{"key":"9047_CR9","doi-asserted-by":"crossref","unstructured":"Dyckhoff, R.: A deterministic terminating sequent calculus for G\u00f6del-Dummett logic. Log. J. IGPL 7(3), 319\u2013326 (1999)","DOI":"10.1093\/jigpal\/7.3.319"},{"key":"9047_CR10","first-page":"65","volume":"69","author":"K G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionistischen aussagenkalk\u00fcl. Anz. Akad. Wiss. Wien 69, 65\u201366 (1932)","journal-title":"Anz. Akad. Wiss. Wien"},{"key":"9047_CR11","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, Dordrecht, The Netherlands (1998)"},{"key":"9047_CR12","first-page":"94","volume-title":"CADE-18. Lecture Notes in Artificial Intelligence, vol. 2392","author":"D. Larchey-Wendling","year":"2002","unstructured":"Larchey-Wendling, D.: Combining proof-search and counter-model construction for deciding G\u00f6del-Dummett logic. In: CADE-18. Lecture Notes in Artificial Intelligence, vol. 2392, pp. 94\u2013110. Springer, Berlin Heidelberg New York (2002)"},{"key":"9047_CR13","first-page":"274","volume-title":"IJCAR 2004. Lecture Notes in Artificial Intelligence, vol. 3097","author":"D. Larchey-Wendling","year":"2004","unstructured":"Larchey-Wendling, D.: Counter-model search in G\u00f6del-Dummett logics. In: IJCAR 2004. Lecture Notes in Artificial Intelligence, vol. 3097, pp. 274\u2013288. Springer, Berlin Heidelberg New York (2004)"},{"key":"9047_CR14","first-page":"682","volume-title":"LPAR 2005, Lecture Notes in Artificial Intelligence, vol. 3835","author":"D. Larchey-Wendling","year":"2005","unstructured":"Larchey-Wendling, D.: Bounding resource consumption with G\u00f6del-Dummett logics. In: LPAR 2005, Lecture Notes in Artificial Intelligence, vol. 3835, pp. 682\u2013696. Springer, Berlin Heidelberg New York (2005a)"},{"issue":"3","key":"9047_CR15","doi-asserted-by":"crossref","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. Electron. Notes Theor. Comp. Sci. 125(3), 137\u2013148 (2005b)","journal-title":"Notes Theor. Comp. Sci."},{"key":"9047_CR16","first-page":"413","volume-title":"CSL\u201903. Lecture Notes in Computer Science, vol. 2803","author":"G. Metcalfe","year":"2003","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.: Goal-directed calculi for G\u00f6del-Dummett logics. In: CSL\u201903. Lecture Notes in Computer Science, vol. 2803, pp. 413\u2013426. Springer, Berlin Heidelberg New York (2003)"},{"issue":"1","key":"9047_CR17","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/321105.321107","volume":"9","author":"S Warshall","year":"1962","unstructured":"Warshall, S.: A theorem on Boolean matrices. J. ACM. 9(1), 11\u201312 (1962)","journal-title":"J. ACM."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-006-9047-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-006-9047-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-006-9047-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T01:21:47Z","timestamp":1559265707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-006-9047-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12,1]]},"references-count":17,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2007,2,28]]}},"alternative-id":["9047"],"URL":"https:\/\/doi.org\/10.1007\/s10817-006-9047-9","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12,1]]}}}