{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T00:05:47Z","timestamp":1715040347105},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,3,2]],"date-time":"2013-03-02T00:00:00Z","timestamp":1362182400000},"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":[[2014,1]]},"DOI":"10.1007\/s10817-013-9276-7","type":"journal-article","created":{"date-parts":[[2013,3,2]],"date-time":"2013-03-02T02:10:27Z","timestamp":1362190227000},"page":"67-97","source":"Crossref","is-referenced-by-count":4,"title":["Terminating Calculi for Propositional Dummett Logic with Subformula Property"],"prefix":"10.1007","volume":"52","author":[{"given":"Guido","family":"Fiorino","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,3,2]]},"reference":[{"issue":"4","key":"9276_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":"9276_CR2","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A Avron","year":"1991","unstructured":"Avron, A.: Simple consequence relations. Inf. Comput. 92, 276\u2013294 (1991)","journal-title":"Inf. Comput."},{"issue":"2","key":"9276_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":"9276_CR4","doi-asserted-by":"crossref","unstructured":"Baaz, M., Ferm\u00fcller, C.G.: Analytic calculi for projective logics. In: Murray, N.V. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX \u201999. Lecture Notes in Computer Science, vol. 1617, p. 36\u201350. Springer (1999)","DOI":"10.1007\/3-540-48754-9_8"},{"issue":"6","key":"9276_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.G.: Hypersequent calculi for G\u00f6del logics\u2014a survey. J. Log. Comput. 13(6), 835\u2013861 (2003)","journal-title":"J. Log. Comput."},{"key":"9276_CR6","doi-asserted-by":"crossref","unstructured":"Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press (1997)","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"issue":"1","key":"9276_CR7","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BF00370630","volume":"48","author":"G Corsi","year":"1989","unstructured":"Corsi, G: A logic characterized by the class of connected models with nested domains. Stud. Log. 48(1), 15\u201322 (1989)","journal-title":"Stud. Log."},{"key":"9276_CR8","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."},{"key":"9276_CR9","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1002\/malq.19710170126","volume":"17","author":"JM Dunn","year":"1971","unstructured":"Dunn, J.M., Meyer, R.K.: Algebraic completeness results for Dummett\u2019s LC and its extensions. Z. Math. Log. Grundl. Math. 17, 225\u2013230 (1971)","journal-title":"Z. Math. Log. Grundl. Math."},{"issue":"3","key":"9276_CR10","doi-asserted-by":"crossref","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. Log. J. IGPL 7(3), 319\u2013326 (1999)","journal-title":"Log. J. IGPL"},{"issue":"3","key":"9276_CR11","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1023\/A:1017515831550","volume":"27","author":"G Fiorino","year":"2001","unstructured":"Fiorino, G.: An O(n log n)-space decision procedure for the propositional Dummett logic. J. Autom. Reason. 27(3), 297\u2013311 (2001)","journal-title":"J. Autom. Reason."},{"issue":"19","key":"9276_CR12","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/j.ins.2010.06.004","volume":"180","author":"G Fiorino","year":"2010","unstructured":"Fiorino, G.: Tableau calculus based on a multiple premise rule. Inf. Sci. 180(19), 371\u2013399 (2010)","journal-title":"Inf. Sci."},{"key":"9276_CR13","unstructured":"Fiorino, G.: Refutation in dummett logic using a sign to express the truth at the next possible world. In: Walsh, T. (ed.) IJCAI, pp. 869\u2013874. IJCAI\/AAAI (2011)"},{"key":"9276_CR14","unstructured":"G\u00f6del, K.: On the intuitionistic propositional calculus. In: Feferman, S., et al. (eds.) Collected Works, vol. 1. Oxford University Press (1986)"},{"key":"9276_CR15","doi-asserted-by":"crossref","unstructured":"Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"issue":"1","key":"9276_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","volume":"154","author":"P Hajek","year":"2005","unstructured":"Hajek, P.: Making fuzzy description logic more general. Fuzzy Set Syst. 154(1), 1\u201315 (2005)","journal-title":"Fuzzy Set Syst."},{"issue":"1\u20133","key":"9276_CR17","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s10817-006-9047-9","volume":"38","author":"D Larchey-Wendling","year":"2007","unstructured":"Larchey-Wendling, D.: Graph-based decision for G\u00f6del-Dummett logics. J. Autom. Reason. 38(1\u20133), 201\u2013225 (2007)","journal-title":"J. Autom. Reason."},{"key":"9276_CR18","doi-asserted-by":"crossref","unstructured":"Metcalfe, G., Olivetti, N., Gabbay, D.M.: Goal-directed calculi for G\u00f6del-Dummett logics. In: Baaz, M., Makowsky, J.A. (eds.) Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt G\u00f6del Colloquium, KGC 2003, Vienna, Austria, August 25\u201330, 2003, Proceedings. Lecture Notes in Computer Science, vol. 2803, pp. 413\u2013426. Springer (2003)","DOI":"10.1007\/978-3-540-45220-1_33"},{"issue":"3","key":"9276_CR19","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0003-4843(82)90024-9","volume":"22","author":"A Visser","year":"1982","unstructured":"Visser, A.: On the completenes principle: a study of provability in Heyting\u2019s arithmetic and extensions. Ann. Math. Logic 22(3), 263\u2013295 (1982)","journal-title":"Ann. Math. Logic"},{"key":"9276_CR20","first-page":"37","volume-title":"16th Papers on Logic and Algebra, American Mathematical Society Translations, Series 2, vol. 94","author":"NN Vorob\u2019ev","year":"1970","unstructured":"Vorob\u2019ev, N.N.: A new algorithm of derivability in a constructive calculus of statements. In: 16th Papers on Logic and Algebra, American Mathematical Society Translations, Series 2, vol. 94, pp.\u00a037\u201371. American Mathematical Society, Providence, R.I. (1970)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-013-9276-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10817-013-9276-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-013-9276-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T19:07:48Z","timestamp":1715022468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10817-013-9276-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,2]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,1]]}},"alternative-id":["9276"],"URL":"https:\/\/doi.org\/10.1007\/s10817-013-9276-7","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,2]]}}}