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.
KeywordsModal Logic Proof System Basic Object Intuitionistic Logic Logical Rule
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