Parallel Dialogue Games and Hypersequents for Intermediate Logics

  • Christian G. Fermüller
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2796)

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