کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
394462 665806 2012 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The standard completeness of interval-valued monoidal t-norm based logic
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
پیش نمایش صفحه اول مقاله
The standard completeness of interval-valued monoidal t-norm based logic
چکیده انگلیسی

In this paper we prove the strong standard completeness of interval-valued monoidal t-norm based logic (IVMTL) and some of its extensions. For other extensions we show that they are not strong standard complete. We also give a local deduction theorem for IVMTL and other extensions of interval-valued monoidal logic. Similar results are obtained for interval-valued fuzzy logics expanded with Baaz’s Delta.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volume 189, 15 April 2012, Pages 63–76
نویسندگان
, , , ,