کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
391345 | 661379 | 2006 | 20 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
T-norm-based logics with an independent involutive negation
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In this paper we investigate the addition of arbitrary independent involutive negations to t-norm-based logics. We deal with several extensions of MTL and establish general completeness results. Indeed, we will show that, given any t-norm-based logic satisfying some basic properties, its extension by means of an involutive negation preserves algebraic and (finite) strong standard completeness. We will deal with both propositional and predicate logics.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Fuzzy Sets and Systems - Volume 157, Issue 24, 16 December 2006, Pages 3125-3144
Journal: Fuzzy Sets and Systems - Volume 157, Issue 24, 16 December 2006, Pages 3125-3144