Parallel Dialogue Games and Hypersequents for Intermediate Logics
- Cite this paper as:
- 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
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.
Unable to display preview. Download preview PDF.