Abstract
A parallel version of Lorenzen’s dialogue theoretic foundation for intuitionistic logic is shown to be adequate for a number of important intermediate logics. The soundness and completeness proofs proceed by relating hypersequent derivations to winning strategies for parallel dialogue games. This also provides a computational interpretation of hypersequents.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abramsky, S., Jagadeesan, R.: Games and Full Completeness for Multiplicative Linear Logic. J. Symbolic Logic 59(2), 543–574 (1994)
Blass, A.: A Game Semantics for Linear Logic. Annals of Pure and Applied Logic 56, 183–220 (1992)
Avron, A.: Hypersequents, logical consequence and intermediate logics for concurrency. Annals of Mathematics and Artificial Intelligence 4, 225–248 (1991)
Ciabattoni, A., Ferrari, M.: Hypersequent calculi for some intermediate logics with bounded Kripke models. Journal of Logic and Computation 2(11), 283–294 (2001)
Ciabattoni, A., Gabbay, D.M., Olivetti, N.: Cut-free proof systems for logics of weak excluded middle. Soft Computing 2(4), 147–156 (1998)
Dummett, M.: A propositional calculus with denumerable matrix. J. Symbolic Logic 24, 97–106 (1959)
Dunn, J.M., Meyer, R.K.: Algebraic completeness results for Dummett’s LC and its extensions. Z. Math. Logik Grundlagen Math. 17, 225–230 (1971)
Felscher, W.: Dialogues, Strategies, and Intuitionistic Provability. Annals of Pure and Applied Logic 28, 217–254 (1985)
Felscher, W.: Dialogues as Foundation for Intuitionistic Logic. In: Gabbay, D., Günther, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 341–372. Reidel, Dordrecht (1986)
Fermüller, C.G., Ciabattoni, A.: From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games. In: 33rd Intl.Symp.on Multiple-Valued Logic, Tokyo, May 2003, pp. 188–193. IEEE Press, Los Alamitos (2003)
Gödel, K.: Zum intuitionistischen Aussagenkalkül. Anz. Akad. Wiss. Wien 69, 65–66 (1932)
Jankov, V.: The calculus of the weak “law of excluded middle”. Mathematics of the USSR 8, 648–658 (1968)
Krabbe, E.C.W.: Formal Systems of Dialogue Rules. Synthese 63, 295–328 (1985)
Krabbe, E.C.W.: Dialogue Sequents and Quick Proofs of Completeness. In: Hoepelman, J.P. (ed.) Representation and Reasoning, pp. 135–140. Max Niemeyer Verlag (1988)
Lorenzen, P.: Logik und Agon. In: Atti Congr. Internat. di Filosofia, Sansoni, Firenze, vol. 4, pp. 187–194 (1960)
Rahman, S.: Über Dialoge, Protologische Kategorien und andere Seltenheiten. Europäische Hochschulschriften, Peter Lang (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fermüller, C.G. (2003). Parallel Dialogue Games and Hypersequents for Intermediate Logics. In: Cialdea Mayer, M., Pirri, F. (eds) Automated Reasoning with Analytic Tableaux and Related Methods . TABLEAUX 2003. Lecture Notes in Computer Science(), vol 2796. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45206-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-45206-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40787-4
Online ISBN: 978-3-540-45206-5
eBook Packages: Springer Book Archive