Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
6424802 | Annals of Pure and Applied Logic | 2014 | 21 Pages |
Abstract
In this paper we study the admissible rules of intermediate logics. We establish some general results on extensions of models and sets of formulas. These general results are then employed to provide a basis for the admissible rules of the Gabbay-de Jongh logics and to show that these logics have finitary unification type.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Jeroen P. Goudsmit, Rosalie Iemhoff,