کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6424802 | 1633467 | 2014 | 21 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
On unification and admissible rules in Gabbay-de Jongh logics
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: On unification and admissible rules in Gabbay-de Jongh logics On unification and admissible rules in Gabbay-de Jongh logics](/preview/png/6424802.png)
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 2, February 2014, Pages 652-672
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 2, February 2014, Pages 652-672
نویسندگان
Jeroen P. Goudsmit, Rosalie Iemhoff,