{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T12:27:58Z","timestamp":1763987278995},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730989"},{"type":"electronic","value":"9783540730996"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73099-6_13","type":"book-chapter","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T07:04:02Z","timestamp":1189753442000},"page":"149-164","source":"Crossref","is-referenced-by-count":11,"title":["Tree-Sequent Methods for Subintuitionistic Predicate Logics"],"prefix":"10.1007","author":[{"given":"Ryo","family":"Ishigaki","sequence":"first","affiliation":[]},{"given":"Kentaro","family":"Kikuchi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1002\/malq.19980440304","volume":"44","author":"M. Ardeshir","year":"1998","unstructured":"Ardeshir, M., Ruitenburg, W.: Basic Propositional Calculus I. Math. Logic Quart\u00a044, 317\u2013343 (1998)","journal-title":"Math. Logic Quart"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"N.D. Belnap","year":"1982","unstructured":"Belnap, N.D.: Display logic. J. Philos. Logic\u00a011, 375\u2013417 (1982)","journal-title":"J. Philos. Logic"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1305\/ndjfl\/1063372244","volume":"42","author":"S. Celani","year":"2001","unstructured":"Celani, S., Jansana, R.: A closer look at some subintuitionistic logics. Notre Dame J. Formal Logic\u00a042, 225\u2013255 (2001)","journal-title":"Notre Dame J. Formal Logic"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/malq.200410022","volume":"51","author":"S. Celani","year":"2005","unstructured":"Celani, S., Jansana, R.: Bounded distributive lattices with strict implication. Math. Logic Quart\u00a051, 219\u2013246 (2005)","journal-title":"Math. Logic Quart"},{"key":"13_CR5","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1002\/malq.19870330503","volume":"33","author":"G. Corsi","year":"1987","unstructured":"Corsi, G.: Weak logics with strict implication. Z. Math. Logik Grundlag. Math\u00a033, 389\u2013406 (1987)","journal-title":"Z. Math. Logik Grundlag. Math"},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-94-015-8242-1_4","volume-title":"Diamonds and Defaults","author":"K. Do\u0161en","year":"1993","unstructured":"Do\u0161en, K.: Modal translations in K and D. In: de Rijke, M. (ed.) Diamonds and Defaults, pp. 103\u2013127. Kluwer Academic Publishers, Boston (1993)"},{"key":"13_CR7","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems","author":"D.M. Gabbay","year":"1996","unstructured":"Gabbay, D.M.: Labelled Deductive Systems. Oxford University Press, New York (1996)"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1023\/A:1005077431494","volume":"61","author":"D.M. Gabbay","year":"1998","unstructured":"Gabbay, D.M., Olivetti, N.: Algorithmic proof methods and cut elimination for implicational logics I: Modal implication. Studia Logica\u00a061, 237\u2013280 (1998)","journal-title":"Studia Logica"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1093\/jigpal\/11.6.615","volume":"11","author":"I. Hasuo","year":"2003","unstructured":"Hasuo, I., Kashima, R.: Kripke completeness of first-order constructive logics with strong negation. Log. J. IGPL\u00a011, 615\u2013646 (2003)","journal-title":"Log. J. IGPL"},{"key":"13_CR10","unstructured":"Ishigaki, R., Kikuchi, K.: A tree-sequent calculus for a natural predicate extension of Visser\u2019s propositional logic. To appear in Log. J. IGPL"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1054301352","volume":"42","author":"K. Ishii","year":"2001","unstructured":"Ishii, K., Kashima, R., Kikuchi, K.: Sequent calculi for Visser\u2019s propositional logics. Notre Dame J. Formal Logic\u00a042, 1\u201322 (2001)","journal-title":"Notre Dame J. Formal Logic"},{"key":"13_CR12","unstructured":"Kashima, R.: Sequent calculi of non-classical logics \u2014 Proofs of completeness theorems by sequent calculi (in Japanese). In: Proceedings of Mathematical Society of Japan Annual Colloquium of Foundations of Mathematics, pp. 49\u201367 (1999)"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1002\/1521-3870(200201)48:1<87::AID-MALQ87>3.0.CO;2-N","volume":"48","author":"K. Kikuchi","year":"2002","unstructured":"Kikuchi, K.: Dual-context sequent calculus and strict implication. Math. Logic Quart\u00a048, 87\u201392 (2002)","journal-title":"Math. Logic Quart"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1022363219134","volume":"12","author":"K. Kikuchi","year":"2003","unstructured":"Kikuchi, K., Sasaki, K.: A cut-free Gentzen formulation of Basic Propositional Calculus. J. Logic Lang. Inform\u00a012, 213\u2013225 (2003)","journal-title":"J. Logic Lang. Inform"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1305\/ndjfl\/1040609299","volume":"35","author":"G. Restall","year":"1994","unstructured":"Restall, G.: Subintuitionistic logics. Notre Dame J. Formal Logic\u00a035, 116\u2013129 (1994)","journal-title":"Notre Dame J. Formal Logic"},{"key":"13_CR16","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/A:1008237600846","volume":"7","author":"Y. Suzuki","year":"1998","unstructured":"Suzuki, Y., Wolter, F., Zakharyaschev, M.: Speaking about transitive frames in propositional languages. J. Logic Lang. Inform\u00a07, 317\u2013339 (1998)","journal-title":"J. Logic Lang. Inform"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1002\/1521-3870(200108)47:3<327::AID-MALQ327>3.0.CO;2-P","volume":"47","author":"Y. Tanaka","year":"2001","unstructured":"Tanaka, Y.: Cut-elimination theorems for some infinitary modal logics. Math. Logic Quart\u00a047, 327\u2013339 (2001)","journal-title":"Math. Logic Quart"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/BF01874706","volume":"40","author":"A. Visser","year":"1981","unstructured":"Visser, A.: A propositional logic with explicit fixed points. Studia Logica\u00a040, 155\u2013175 (1981)","journal-title":"Studia Logica"},{"key":"13_CR19","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-94-011-5638-7_8","volume-title":"Logic, Language and Computation","author":"H. Wansing","year":"1997","unstructured":"Wansing, H.: Displaying as temporalizing, sequent systems for subintuitionistic logics. In: Akama, S. (ed.) Logic, Language and Computation, pp. 159\u2013178. Kluwer Academic Publishers, Boston (1997)"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1023\/A:1021897508223","volume":"72","author":"E. Zimmermann","year":"2002","unstructured":"Zimmermann, E.: A predicate logical extension of a subintuitionistic propositional logic. Studia Logica\u00a072, 401\u2013410 (2002)","journal-title":"Studia Logica"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73099-6_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T22:06:17Z","timestamp":1708207577000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73099-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730989","9783540730996"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73099-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}