Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics
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.
Unable to display preview. Download preview PDF.
- 9.Iemhoff, R., Metcalfe, G.: Proof theory for admissible rules. (submitted), http://www.math.vanderbilt.edu/people/metcalfe/publications
- 12.Rozière, P.: Regles Admissibles en calcul propositionnel intuitionniste. PhD thesis, Université Paris VII (1992)Google Scholar