کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661886 | 1633465 | 2014 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Leibniz interpolation properties
ترجمه فارسی عنوان
خواص درون یابی لایبنیتس
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We introduce a family of notions of interpolation for sentential logics. These concepts generalize the ones for substructural logics introduced in [5]. We show algebraic characterizations of these notions for the case of equivalential logics and study the relation between them and the usual concepts of Deductive, Robinson, and Maehara interpolation properties.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 4, April 2014, Pages 933-962
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 4, April 2014, Pages 933-962
نویسندگان
Leonardo Cabrer, José Gil-Férez,