Parallel Dialogue Games and Hypersequents for Intermediate Logics

  • Christian G. Fermüller
Conference paper

DOI: 10.1007/978-3-540-45206-5_7

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2796)
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

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Christian G. Fermüller
    • 1
  1. 1.Technische Universität WienAustria

Personalised recommendations