| authors | Goudsmit, Jeroen; Iemhoff, R. |
| source | Logic Group Preprint Series, Volume: 297 (2012), pp. 1-18 |
| full text | [Full text]
|
| publisher | Department of Philosophy of Utrecht University |
| URL publisher | [Website publisher]
|
| document type | Preprint |
| version | Preprint version |
| disciplines | Wijsbegeerte |
| abstract | In this paper we study the admissible rules of intermediate logics with the disjunction property. We establish some general results on extension of models and sets of formulas, and eventually specialize to provide a a basis for the admissible rules of the Gabbay-de Jongh logics and to show that that logic has finitary unification type. |
| keywords | intuitionistic logic, intermediate logic, admissible rules, disjunction property, extension property |
| ISSN | 0929-0710 |
