2024-03-28T10:01:05Zhttps://dspace.library.uu.nl/oai/dareoai:dspace.library.uu.nl:1874/337182014-05-13T07:43:41Zcom_1874_296827col_1874_296828dare
URN:NBN:NL:UI:10-1874-33718
2014-05-13T09:43:41.0Z
https://dspace.library.uu.nl/handle/1874/33718
Hypersequent systems for the admissible rules of modal and intermediate logics
Iemhoff
R.
aut
Metcalfe
George
aut
text
info:eu-repo/semantics/preprint
2008-11
en
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.
Wijsbegeerte
Logic Group preprint series
Department of Philosophy, University of Utrecht
2008-11
0929-0710
270
1
1874/33718
174688210
2014-05-13T09:43:41.0Z
http://purl.org/eprint/accessRights/OpenAccess