Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics

  • Rosalie Iemhoff
  • George Metcalfe
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5407)

Abstract

The admissible rules of a logic are those rules under which the set of theorems of the logic is closed. In a previous paper by the authors, formal systems for deriving the admissible rules of Intuitionistic Logic and a class of modal logics were defined in a proof-theoretic framework where the basic objects of the systems are sequent rules. Here, the framework is extended to cover derivability of the admissible rules of intermediate logics and a wider class of modal logics, in this case, by taking hypersequent rules as the basic objects.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Rosalie Iemhoff
    • 1
  • George Metcalfe
    • 2
  1. 1.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands
  2. 2.Department of MathematicsVanderbilt UniversityNashvilleUSA

Personalised recommendations