کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661886 1633465 2014 30 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Leibniz interpolation properties
ترجمه فارسی عنوان
خواص درون یابی لایبنیتس
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
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
نویسندگان
, ,