{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:29:03Z","timestamp":1725488943235},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439318"},{"type":"electronic","value":"9783540456209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45620-1_7","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T03:18:26Z","timestamp":1186888706000},"page":"94-110","source":"Crossref","is-referenced-by-count":6,"title":["Combining Proof-Search and Counter-Model Construction for Deciding G\u00f6del-Dummett Logic"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Larchey-Wendling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"issue":"4","key":"7_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1093\/jigpal\/7.4.447","volume":"7","author":"A. Avellone","year":"1999","unstructured":"Alessendro Avellone, Mauro Ferrari, and Pierangelo Miglioli. Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics. Logic Journal of the IGPL, 7(4):447\u2013480, 1999.","journal-title":"Logic Journal of the IGPL"},{"doi-asserted-by":"crossref","unstructured":"Arnon Avron. A Tableau System for G\u00f6del-Dummett Logic Based on a Hyper-sequent Calculus. In Roy Dyckhoff, editor, Automated Reasoning with Analytic Tableaux and Related Methods, volume 1847 of Lecture Notes in Artificial Intelligence, pages 98\u2013111, St Andrews, Scotland, July 2000.","key":"7_CR2","DOI":"10.1007\/10722086_11"},{"doi-asserted-by":"crossref","unstructured":"L. Peter Deutsch and Daniel G. Bobrow. A Efficient Incremental Automatic Garbage Collector. Communications of the ACM, 19(9):522\u2013526, September 1976.","key":"7_CR3","DOI":"10.1145\/360336.360345"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1017\/S0022481200125848","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Michael Dummett. A Propositional Calculus with a Denumerable matrix. Journal of Symbolic Logic, 24:96\u2013107, 1959.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"795","DOI":"10.2307\/2275431","volume":"57","author":"R. Dyckhoff","year":"1992","unstructured":"Roy Dyckhoff. Contraction-free Sequent Calculi for Intuitionistic Logic. Journal of Symbolic Logic, 57(3):795\u2013807, 1992.","journal-title":"Journal of Symbolic Logic"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/jigpal\/7.3.319","volume":"7","author":"R. Dyckhoff","year":"1999","unstructured":"Roy Dyckhoff. A Deterministic Terminating Sequent Calculus for G\u00f6del-Dummett logic. Logical Journal of the IGPL, 7:319\u2013326, 1999.","journal-title":"Logical Journal of the IGPL"},{"unstructured":"Fiorino. An O(n log n)-SPACE decision procedure for the propositional Dummett Logic. to appear in Journal of Automated Reasoning.","key":"7_CR7"},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/3-540-46674-6_10","volume-title":"Asian Computing Science Conference, ASIAN\u201999","author":"D. Galmiche","year":"1999","unstructured":"Didier Galmiche and Dominique Larchey-Wendling. Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. In Asian Computing Science Conference, ASIAN\u201999, volume 1742 of Lecture Notes in Computer Science, pages 101\u2013102, Phuket, Tha\u00efland, December 1999."},{"key":"7_CR9","first-page":"40","volume":"4","author":"K. G\u00f6del","year":"1933","unstructured":"Kurt G\u00f6del. Zum intuitionistischen Aussagenkalk\u00fcl. Ergeb. Math. Koll, 4:40, 1933.","journal-title":"Ergeb. Math. Koll"},{"doi-asserted-by":"crossref","unstructured":"P. Hajek. Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, 1998.","key":"7_CR10","DOI":"10.1007\/978-94-011-5300-3"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1093\/logcom\/3.1.63","volume":"3","author":"J. Hudelmaier","year":"1993","unstructured":"J\u00f6rg Hudelmaier. An O(n log n)-space decision procedure for Intuitionistic Propositional Logic. Journal of Logic and Computation, 3(1):63\u201375, 1993.","journal-title":"Journal of Logic and Computation"},{"doi-asserted-by":"crossref","unstructured":"Dominique Larchey, Daniel M\u00e9ry, and Didier Galmiche. STRIP: Structural Sharing for efficient Proof-Search. In International Joint Conference on Automated Reasoning, IJCAR 2001, volume 2083 of Lecture Notes in Artificial Intelligence, pages 696\u2013700, Siena, Italy, January 2001.","key":"7_CR12","DOI":"10.1007\/3-540-45744-5_58"},{"key":"7_CR13","first-page":"7","volume":"7","author":"O. Sonobe","year":"1975","unstructured":"O. Sonobe. A Gentzen-type Formulation of Some Intermediate Propositional Logics. Journal of Tsuda College, 7:7\u201314, 1975.","journal-title":"Journal of Tsuda College"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0003-4843(82)90024-9","volume":"22","author":"A. Visser","year":"1982","unstructured":"A. Visser. On the Completeness Principle: A study of provability in Heyting\u2019s arithmetic. Annals of Mathematical Logic, 22:263\u2013295, 1982.","journal-title":"Annals of Mathematical Logic"},{"doi-asserted-by":"crossref","unstructured":"Klaus Weich. Decisions Procedures for Intuitionistic Logic by Program Extraction. In International Conference TABLEAUX\u201998, volume 1397 of Lecture Notes in Artificial Intelligence, pages 292\u2013306, Oisterwijk, The Netherlands, May 1998.","key":"7_CR15","DOI":"10.1007\/3-540-69778-0_29"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction\u2014CADE-18"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45620-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:56:01Z","timestamp":1556740561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45620-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439318","9783540456209"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45620-1_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}