کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9650976 | 666478 | 2005 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A small set of axioms for residuated logic
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We show that a set of three axioms, together with modus ponens, suffices to build up a formal system for the class R of all quadruples (L, ⩽, T, J), in which (L, ⩽) is a partially ordered set with a top element, and T is a triangular norm on (L, ⩽) that has a residuated implication J. We show that this R is not a variety.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Sciences - Volume 175, Issues 1â2, 15 September 2005, Pages 85-96
Journal: Information Sciences - Volume 175, Issues 1â2, 15 September 2005, Pages 85-96
نویسندگان
Nehad N. Morsi,