Sciweavers

LFCS
2009
Springer

Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics

13 years 10 months ago
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.
Rosalie Iemhoff, George Metcalfe
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where LFCS
Authors Rosalie Iemhoff, George Metcalfe
Comments (0)