{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:40:29Z","timestamp":1728175229157},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407874"},{"type":"electronic","value":"9783540452065"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45206-5_7","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T05:17:05Z","timestamp":1294377425000},"page":"48-64","source":"Crossref","is-referenced-by-count":11,"title":["Parallel Dialogue Games and Hypersequents for Intermediate Logics"],"prefix":"10.1007","author":[{"given":"Christian G.","family":"Ferm\u00fcller","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"7_CR1","doi-asserted-by":"publisher","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jagadeesan, R.: Games and Full Completeness for Multiplicative Linear Logic. J. Symbolic Logic\u00a059(2), 543\u2013574 (1994)","journal-title":"J. Symbolic Logic"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0168-0072(92)90073-9","volume":"56","author":"A. Blass","year":"1992","unstructured":"Blass, A.: A Game Semantics for Linear Logic. Annals of Pure and Applied Logic\u00a056, 183\u2013220 (1992)","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF01531058","volume":"4","author":"A. Avron","year":"1991","unstructured":"Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence\u00a04, 225\u2013248 (1991)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"11","key":"7_CR4","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1093\/logcom\/11.2.283","volume":"2","author":"A. Ciabattoni","year":"2001","unstructured":"Ciabattoni, A., Ferrari, M.: Hypersequent calculi for some intermediate logics with bounded Kripke models. Journal of Logic and Computation\u00a02(11), 283\u2013294 (2001)","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"7_CR5","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/s005000050047","volume":"2","author":"A. Ciabattoni","year":"1998","unstructured":"Ciabattoni, A., Gabbay, D.M., Olivetti, N.: Cut-free proof systems for logics of weak excluded middle. Soft Computing\u00a02(4), 147\u2013156 (1998)","journal-title":"Soft Computing"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with denumerable matrix. J. Symbolic Logic\u00a024, 97\u2013106 (1959)","journal-title":"J. Symbolic Logic"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/malq.19710170126","volume":"17","author":"J.M. Dunn","year":"1971","unstructured":"Dunn, J.M., Meyer, R.K.: Algebraic completeness results for Dummett\u2019s LC and its extensions. Z. Math. Logik Grundlagen Math.\u00a017, 225\u2013230 (1971)","journal-title":"Z. Math. Logik Grundlagen Math."},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0168-0072(85)90016-8","volume":"28","author":"W. Felscher","year":"1985","unstructured":"Felscher, W.: Dialogues, Strategies, and Intuitionistic Provability. Annals of Pure and Applied Logic\u00a028, 217\u2013254 (1985)","journal-title":"Annals of Pure and Applied Logic"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/978-94-009-5203-4_5","volume-title":"Handbook of Philosophical Logic","author":"W. Felscher","year":"1986","unstructured":"Felscher, W.: Dialogues as Foundation for Intuitionistic Logic. In: Gabbay, D., G\u00fcnther, F. (eds.) Handbook of Philosophical Logic, vol.\u00a0III, pp. 341\u2013372. Reidel, Dordrecht (1986)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1109\/ISMVL.2003.1201405","volume-title":"33rd Intl.Symp.on Multiple-Valued Logic","author":"C.G. Ferm\u00fcller","year":"2003","unstructured":"Ferm\u00fcller, C.G., Ciabattoni, A.: From Intuitionistic Logic to G\u00f6del-Dummett Logic via Parallel Dialogue Games. In: 33rd Intl.Symp.on Multiple-Valued Logic, Tokyo, May 2003, pp. 188\u2013193. IEEE Press, Los Alamitos (2003)"},{"key":"7_CR11","first-page":"65","volume":"69","author":"K. G\u00f6del","year":"1932","unstructured":"G\u00f6del, K.: Zum intuitionistischen Aussagenkalk\u00fcl. Anz. Akad. Wiss. Wien\u00a069, 65\u201366 (1932)","journal-title":"Anz. Akad. Wiss. Wien"},{"key":"7_CR12","first-page":"648","volume":"8","author":"V. Jankov","year":"1968","unstructured":"Jankov, V.: The calculus of the weak \u201claw of excluded middle\u201d. Mathematics of the USSR\u00a08, 648\u2013658 (1968)","journal-title":"Mathematics of the USSR"},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF00485598","volume":"63","author":"E.C.W. Krabbe","year":"1985","unstructured":"Krabbe, E.C.W.: Formal Systems of Dialogue Rules. Synthese\u00a063, 295\u2013328 (1985)","journal-title":"Synthese"},{"key":"7_CR14","unstructured":"Krabbe, E.C.W.: Dialogue Sequents and Quick Proofs of Completeness. In: Hoepelman, J.P. (ed.) Representation and Reasoning, pp. 135\u2013140. Max Niemeyer Verlag (1988)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Lorenzen, P.: Logik und Agon. In: Atti Congr. Internat. di Filosofia, Sansoni, Firenze, vol.\u00a04, pp. 187\u2013194 (1960)","DOI":"10.5840\/wcp1219604110"},{"key":"7_CR16","unstructured":"Rahman, S.: \u00dcber Dialoge, Protologische Kategorien und andere Seltenheiten. Europ\u00e4ische Hochschulschriften, Peter Lang (1993)"}],"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\/978-3-540-45206-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:09:36Z","timestamp":1559927376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45206-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407874","9783540452065"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45206-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}