منطق فازی تک‌نرم گزاره‌ای با ادات صدق

عامر آمیخته؛ لطف الله نبوی

دوره 10، شماره 2 ، مهر 1398، ، صفحه 35-60

https://doi.org/10.30465/lsj.2019.5134

چکیده
  منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور ...  بیشتر