| authors | Iemhoff, R.; Metcalfe, George |
| source | Logic Group preprint series, Volume: 270 (2008), pp. 1-15 |
| full text | [Full text]
|
| publisher | Department of Philosophy, University of Utrecht |
| URL publisher | [Website publisher]
|
| document type | Preprint |
| disciplines | Wijsbegeerte |
| 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. |
| ISSN | 0929-0710 |
