{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:45Z","timestamp":1725456285977},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540629207"},{"type":"electronic","value":"9783540690467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027404","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:34:36Z","timestamp":1132641276000},"page":"43-61","source":"Crossref","is-referenced-by-count":5,"title":["Generalized tableau systems for intermediate propositional logics"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Avellone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Moscato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierangelo","family":"Miglioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Ornaghi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"crossref","first-page":"795","DOI":"10.2307\/2275431","volume":"57","author":"R. Dyckhoff","year":"1992","unstructured":"R. Dyckhoff. Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic, 57(3):795\u2013807, 1992.","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"4_CR2","doi-asserted-by":"crossref","first-page":"1365","DOI":"10.2307\/2275149","volume":"58","author":"M. Ferrari","year":"1993","unstructured":"M. Ferrari and P. Miglioli. Counting the maximal intermediate constructive logics. Journal of Symbolic Logic, 58(4):1365\u20131401, 1993.","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(94)00053-6","volume":"76","author":"M. Ferrari","year":"1995","unstructured":"M. Ferrari and P. Miglioli. A method to single out maximal intermediate propositional logics with the disjunction property I. Annals of Pure and Applied Logic, 76:1\u201346, 1995.","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR4","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0168-0072(94)00052-5","volume":"76","author":"M. Ferrari","year":"1995","unstructured":"M. Ferrari and P. Miglioli. A method to single out maximal intermediate propositional logics with the disjunction property II. Annals of Pure and Applied Logic, 76:117\u2013168, 1995.","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR5","unstructured":"M.C. Fitting. Intuitionistic Logic, Model Theory and Forcing. North-Holland, 1969."},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"431","DOI":"10.2307\/2270700","volume":"35","author":"D.M. Gabbay","year":"1970","unstructured":"D.M. Gabbay. The decidability of Kreisel-Putnam system. Journal of Symbolic Logic, 35:431\u2013437, 1970.","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2977-2","volume-title":"Semantical Investigations in Heyting's Intuitionistic Logic","author":"D.M. Gabbay","year":"1981","unstructured":"D.M. Gabbay. Semantical Investigations in Heyting's Intuitionistic Logic. Reidel, Dordrecht, 1981."},{"key":"4_CR8","doi-asserted-by":"crossref","first-page":"67","DOI":"10.2307\/2272344","volume":"39","author":"D.M. Gabbay","year":"1974","unstructured":"D.M. Gabbay and D.H.J. de Jongh. A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property. Journal of Symbolic Logic, 39:67\u201378, 1974.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"4_CR9","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1093\/logcom\/3.1.63","volume":"3","author":"J. Hudelmaier","year":"1993","unstructured":"J. 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"},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"G. Kreisel","year":"1957","unstructured":"G. Kreisel and H. Putnam. Eine Unableitbaxkeitsbeweismethode f\u00fcr den Intuitionistischen Aussagenkalk\u00fcl. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung, 3:74\u201378, 1957.","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"key":"4_CR11","first-page":"69","volume":"14","author":"J. Lukasiewicz","year":"1952","unstructured":"J. Lukasiewicz. On the intuitionistic theory of deduction. Indagationes Mathematicae, 14:69\u201375, 1952.","journal-title":"Indagationes Mathematicae"},{"issue":"6","key":"4_CR12","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/BF01277484","volume":"31","author":"P. Miglioli","year":"1992","unstructured":"P. Miglioli. An infinite class of maximal intermediate propositional logics with the disjunction property. Archive for Mathematical Logic, 31(6):415\u2013432, 1992.","journal-title":"Archive for Mathematical Logic"},{"key":"4_CR13","first-page":"169","volume-title":"TR-94\/5","author":"P. Miglioli","year":"1994","unstructured":"P. Miglioli, U. Moscato, and M. Ornaghi. How to avoid duplications in a refutation system for intuitionistic logic and Kuroda logic. In K. Broda, M. D'Agostino, R. Gor\u00e9, R. Johnson, and S. Reeves, editors, Proceedings of 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Abingdon, U.K., May 4\u20136, 1994. Imperial College of Science, Technology and Medicine TR-94\/5, 1994, pp. 169\u2013187."},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF00881949","volume":"12","author":"P. Miglioli","year":"1994","unstructured":"P. Miglioli, U. Moscato, and M. Ornaghi. An improved refutation system for intuitionistic predicate logic. Journal of Automated Reasoning, 12:361\u2013373, 1994.","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR15","first-page":"95","volume-title":"volume 918 of LNAI","author":"P. Miglioli","year":"1995","unstructured":"P. Miglioli, U. Moscato, and M. Ornaghi. Refutation systems for propositional modal logics. In P. Baumgartner, R. H\u00e4hnle, and J. Posegga, editors, Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Schloss Rheinfels, St. Goar, Germany, volume 918 of LNAI, pages 95\u2013105. Springer-Verlag, 1995."},{"issue":"1","key":"4_CR16","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1093\/jigpal\/5.1.145","volume":"5","author":"P. Miglioli","year":"1997","unstructured":"P. Miglioli, U. Moscato, and M. Ornaghi. Avoiding duplications in tableau systems for intuitionistic and Kuroda logics. L.J. of the IGPL, 5(1):145\u2013167, 1997.","journal-title":"L.J. of the IGPL"},{"key":"4_CR17","unstructured":"P. Minari. Indagini semantiche sulle logiche intermedie proposizionali. Bibliopolis, 1989."},{"key":"4_CR18","doi-asserted-by":"crossref","first-page":"859","DOI":"10.3792\/pja\/1195521836","volume":"42","author":"S. Nagata","year":"1966","unstructured":"S. Nagata. A series of successive modifications of Peirce's rule. Proceedings of the Japan Academy, Mathematical Sciences, 42:859\u2013861, 1966.","journal-title":"Proceedings of the Japan Academy, Mathematical Sciences"},{"key":"4_CR19","doi-asserted-by":"crossref","first-page":"461","DOI":"10.2977\/prims\/1195193915","volume":"6","author":"H. Ono","year":"1970","unstructured":"H. Ono. Kripke models and intermediate logics. Publications of the Research Institute for Mathematical Sciences, Kyoto University, 6:461\u2013476, 1970.","journal-title":"Publications of the Research Institute for Mathematical Sciences, Kyoto University"},{"key":"4_CR20","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF01053063","volume":"52","author":"K. Sasaki","year":"1993","unstructured":"K. Sasaki. The simple substitution property of the intermediate propositional logics on finite slices. Studia Logica, 52:41\u201362, 1993.","journal-title":"Studia Logica"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"C.A. Smorynski. Applications of Kripke models. In A.S. Troelstra, editor, Metamathematical Investigation of Intuitionistic Arithmetic and Analysis, volume 344 of Lecture Notes in Mathematics. Springer-Verlag, 1973.","DOI":"10.1007\/BFb0066744"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T07:47:21Z","timestamp":1549352841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540629207","9783540690467"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0027404","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}