کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
11010134 | 1812796 | 2018 | 27 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Subintuitionistic logics and the implications they prove
ترجمه فارسی عنوان
منطق زیرسیستمی و مفاهیم ثابت می کنند
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق شهودی، منطق زیرینتوییستی، محافظه کار، مدل کریپکه، مدل های همسایگی،
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
چکیده انگلیسی
This is an investigation of the implications of IPC which remain provable when one weakens intuitionistic logic in various ways. The research is concerned with logics with Kripke models as introduced by G. Corsi in 1987, and others like G. Restall, Došen, Visser. This leads to conservativity results for IPC with regard to classes of implications in some of these logics. Moreover, similar results are reached for some weaker subintuitionistic systems with neighborhood models introduced by the authors in 2016. In addition, the relationship between two types of neighborhood models introduced in that work is clarified. This clarification leads also to modal companions for weaker logics.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Indagationes Mathematicae - Volume 29, Issue 6, December 2018, Pages 1525-1545
Journal: Indagationes Mathematicae - Volume 29, Issue 6, December 2018, Pages 1525-1545
نویسندگان
Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki,