منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe

عامر آمیخته؛ سید احمد میرصانعی

دوره 12، شماره 1 ، شهریور 1400، ، صفحه 1-24

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

چکیده
  در این مقاله برای اصل‌بندی تمام ضرب‌های قیاس‌های ارسطویی به علاوه اصل «هر الف الف است» و قواعد دوطرفه‌ی نقض محمول سالبه‌ها، یک سیستم اصل موضوعی غیرکلاسیک معرفی شد. این سیستم تنها شامل ۲ تعریف، ۲ اصل، ۱ قاعده‌ی یک مقدمه‌ای و ضرب‌های Barbara و Datisi است. با افزودن نقض گزاره‌ای درجه اول به این سیستم، اثبات کردیم که مربع تقابل بدون ...  بیشتر

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

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

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

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

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