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

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

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
منطق فازی تک‌نرم گزاره‌ای با ادات صدق
کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
منطق فازی تک‌نرم گزاره‌ای با ادات صدق
ویرایش اثر
عنوان دیگر : Propositional Uninorm Fuzzy Logic with Truth Connective
چکیده :
منطق تک‌نرم ul یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن ul از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. ul فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ulδ را معرفی می‌کنیم. ulδ با افزودن اپراتور وجهی δ به ul بدست می‌آید. ulδ که بسطی از منطق کلاسیک است، یک منطق موجهات نرمال نیمه‌خطی است. یعنی نسبت به یک جبر مرتب خطی به طور قوی صحیح و تمام است. ulδ با قضیه‌ی (p→q)∨δ(q→p) از دیگر سیستم‌های استاندارد منطق موجهات متمایز می‌گردد. δφ شهوداً تعبیر می‌شود که «صادق است که φ» یا به عبارت دقیق‌تر «به طور کلاسیک صادق است که φ». در این مقاله منطق نیمه‌کلاسیک ulδ را با چهار رویکرد اصل موضوعی، حساب ابررشته‌ها، معناشناسی جبری و معناشناسی استاندارد معرفی می‌کنیم. فراقضیه‌هایی که بررسی می‌کنیم عبارت‌اند از: استنتاج دلتا، صحت قوی، تمامیت استاندارد قوی و تعریف‌پذیری منطق کلاسیک. the uninorm logic ul is a fuzzy, substructural and semi-relevant logic. the gentzen-style system for ul is obtained by removing the contraction rules and weakening from the gentzen-style system of godel fuzzy logic. the ul lacks "excluded middle", "positive paradox" and "negative paradox". the truth function of uninorm is a relevance weakening of the t-norm function. in this article, we introduce the new logic ulδ. ulδ is obtained by adding δ to ul. ulδ, an expansion of classical logic, is a normal semilinear modal logic; i.e. it is strongly sound and complete w.r.t. a linearly ordered algebra. and with the theorem of (p→q)∨δ(q→p) it is distinguished from other standard systems of modal logic. δφ is intuitively interpreted as "true that φ" or more precisely "classically true that φ". in this paper, we introduce the semi-classical logic ulδ with four approaches, axiomatizations, hypersequent calculi, algebraic semantics and standard semantics. metatheorems we are considering include delta deduction, strong soundness, strong standard completeness and definability of classical logic.
متکلمان و سایر شخصیت ها :
لطف الله نبوی
نویسنده :
لطف الله نبوی؛ عامر آمیخته
زبان :
فارسی
منبع اصلی :
http://logicalstudy.ihcs.ac.ir/article_5134.html
جنس منبع:
متن
پایگاه :
پایگاه مجلات 5 (منطق پژوهی- سال 1398- دوره 10- شماره 2- از صفحه 0 تا 0)
یادداشت :
کلیدواژه‌ها
"منطق فازی" "منطق تک‌نرم" "ادات صدق" “منطق موجهات نیمه‌خطی” “تمامیت استاندارد”
کلیدواژه‌ها [English]
"Fuzzy Logic" "Uninorm Logic" "Truth Connective" "Semilinear Modal Logic" "Standard Completeness"
نوع منبع :
نمایه مقاله
مخاطب :
بزرگسال , تخصصی
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال