Many-Valued Logics

دسته بندی: منطق
ویرایش:  
نویسندگان: Gottwald S.  
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 56 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 368 کیلوبایت 

قیمت کتاب (تومان) : 50,000

پیش چاپ به Elsevier Science ارسال شد. 8 مه 2005. — 56 p. [زیگفرید گوتوالد: مؤسسه منطق و فلسفه علم، دانشگاه لایپزیگ، لایپزیگ، آلمان]. این مقاله مفاهیم اساسی منطق چند ارزشی را همراه با برخی از روندهای اصلی توسعه اخیر سیستم های با ارزش نامتناهی، که اغلب منطق های فازی ریاضی نامیده می شوند، در نظر می گیرد.
علاوه بر این منطق، رویکرد همچنین یک رویکرد جبری تر مورد بحث قرار گرفته است. و مقاله با نکاتی در مورد کاربردهایی که مبتنی بر ملاحظات نظری واقعی در مورد منطق‌های بی‌نهایت ارزش است، به پایان می‌رسد. ایده‌های اساسی.
از منطق کلاسیک تا منطق چند ارزشی.
مجموعه های درجه حقیقت خاص.
درجات صدق تعیین شده.
اعتبار منطقی و نتیجه منطقی.
طرح کلی تاریخ.</ strong>
سیستم های اساسی منطق های با ارزش های متعدد.
منطق های G¨odel.
منطق های Lukasiewicz.
منطق محصول.
منطقهای پست.
معناشناسی استاندارد و جبری.
جبرهای بولی.
منطقهای گودل و لوکاسیویچ.
منطق محصول.
منطقهای پست .
سیستم های سه و چهار ارزشی خاص.
سیستم های سه ارزشی.
سیستم های چهار ارزشی.
منطق های با T- اتصالات مبتنی بر هنجار.
پیامدهای باقیمانده در مقابل پیامدهای S.
هنجارهای T پیوسته.
منطق هنجارهای T پیوسته.
منطق هنجارهای پیوسته چپ.
برخی تعمیم ها.
قوی>برنامه های افزودنی سبک پاولکا.
رویکرد عمومی گرلا.
برخی از کاربردهای اخیر.
نظریه مجموعه های فازی.
استدلال فازی غیر یکنواخت.
منابع (150 انتشار).

Preprint submitted to Elsevier Science. 8 May 2005. — 56 p. [Siegfried Gottwald: Institute of Logic and Philosophy of Science, Leipzig University, Leipzig, Germany]. The paper considers the fundamental notions of many-valued logic together with some of the main trends of the recent development of infinite valued systems, often called mathematical fuzzy logics.
Besides this logical approach also a more algebraic approach is discussed. And the paper ends with some hints toward applications which are based upon actual theoretical considerations about infinite valued logics. Basic ideas.
From classical to many-valued logic.
Particular truth degree sets.
Designated truth degrees.
Logical validity and logical consequence.
Outline of the history.
Basic Systems of Many-Valued Logics.
The G¨odel logics.
The Lukasiewicz logics.
The Product logic.
The Post logics.
Standard and Algebraic Semantics.
Boolean algebras.
Godel and Lukasiewicz logics.
Product logic.
Post logics.
Particular Three- and Four-Valued Systems.
Three-Valued Systems.
Four-Valued Systems.
Logics with T-Norm Based Connectives.
Residuated Implications versus S-Implications.
Continuous T-Norms.
The Logic of Continuous T-Norms.
The Logic of Left Continuous T-Norms.
Some Generalizations.
Pavelka Style Extensions.
Gerla‘s General Approach.
Some Recent Applications.
Fuzzy sets theory.
Non-monotonic fuzzy reasoning.
References (150 publ).