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

نوع مقاله: پژوهشی اصیل

نویسندگان

دانشگاه تربیت مدرس

چکیده

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرمال نیمه‌خطی است. یعنی نسبت به یک جبر مرتب خطی به طور قوی صحیح و تمام است. ULΔ با قضیه‌ی (p→q)∨Δ(q→p) از دیگر سیستم‌های استاندارد منطق موجهات متمایز می‌گردد. Δφ شهوداً تعبیر می‌شود که «صادق است که φ» یا به عبارت دقیق‌تر «به طور کلاسیک صادق است که φ». در این مقاله منطق نیمه‌کلاسیک ULΔ را با چهار رویکرد اصل موضوعی، حساب ابررشته‌ها، معناشناسی جبری و معناشناسی استاندارد معرفی می‌کنیم. فراقضیه‌هایی که بررسی می‌کنیم عبارت‌اند از: استنتاج دلتا، صحت قوی، تمامیت استاندارد قوی و تعریف‌پذیری منطق کلاسیک.

کلیدواژه‌ها


عنوان مقاله [English]

Propositional Uninorm Fuzzy Logic with Truth Connective

نویسندگان [English]

  • Amer Amikhteh
  • Lotfollah Nabavi
Tarbiat Modares University
چکیده [English]

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.

کلیدواژه‌ها [English]

  • "Fuzzy Logic"
  • "Uninorm Logic"
  • "Truth Connective"
  • "Semilinear Modal Logic"
  • "Standard Completeness"