Introduction to Many-Valued Logics

دسته بندی: منطق
ویرایش:  
نویسندگان: Fronhöfer B.  
سری:  
 
ناشر:  
سال نشر:  
تعداد صفحات: 195 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 775 کیلوبایت 

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

اینترنت-انتشارات. - 2011. - 388 (195) ص. انگلیسی. (منوی تعاملی). [Bertram Fronhöfer. دانشکده علوم کامپیوتر.
تکنیشه دانشگاه درسدن. 4 آگوست 2011]. بررسی اجمالی.
پیشگامان مدرن منطق 3 ارزشی.
پیش درآمد: منطق گزاره ای کلاسیک (دو ارزشی).
تاریخچه و شهود منطق با ارزش های متعدد.
منطق 3 ارزشی قوی کلین.
منطق 3 ارزشی Łukasiewicz.< br/>منطق 3 ارزشی داخلی بوچوار.
منطق 3 ارزشی خارجی بوچوار.
تعریف پذیری اتصالات.
تعریف متقابل اتصالات.
تعریف عادی اتصالات با منطق 3 ارزشی Łukasiewicz.
تعریف اتصالات غیر عادی.
اتصالات جسورانه Łukasiewicz.
مفاهیم معنایی غیر حقیقت محور.
شبه توتولوژی ها .
شبه مستلزم.
مثال: منطق پارادوکس.
درجات مستلزم.
سیستم های مشتق برای منطق گزاره های 3 ارزشی.
پیش درآمد: یک سیستم اشتقاق برای منطق گزاره‌ای کلاسیک.
یک سیستم بدیهی برای منطق 3 ارزشی Łukasiewicz.
کامل بودن منطق Łukasiewicz با 3 ارزش.
کاربرد: استقلال Axioms. یک سیستم اشتقاق به سبک پاولکا برای منطق Łukasiewicz.
Łukasiewicz.
اعتراض گونست.
تضاد معنایی کلاسیک.
درباره اصل دوم «اصلی».
اصول اول

Internet-Publication. — 2011. — 388 (195) p. English. (Interactive menu). [Bertram Fronhöfer. Faculty of Computer Science.
Technische Universität Dresden. August 4, 2011]. Overview.
Modern Pioneers of 3-Valued Logic.
Prelude: Classical (Two-valued) Propositional Logic.
History and Intuition of Many-Valued Logic.
Kleene’s Strong 3-Valued Logic.
Łukasiewicz’s 3-Valued Logic.
Bochvar’s Internal 3-Valued Logic.
Bochvar’s External 3-Valued Logic.
Definability of Connectives.
Interdefinability of Connectives.
Defining Normal Connectives with Łukasiewicz 3-valued Logic.
Defining Non-Normal Connectives.
Łukasiewicz’s Bold Connectives.
Non Truth Centered Semantical Concepts.
Quasi-Tautologies.
Quasi-Entailment.
Example: Logic of Paradox.
Degree Entailment.
Derivation Systems for 3-Valued Propositional Logic.
Prelude: A Derivation System for Classical Propositional Logic.
An Axiomatic System for Łukasiewicz’s 3-Valued Logic.
Completeness of 3-valued Łukasiewicz’s Logic.
Application: Independence of Axioms.
A Pavelka-Style Derivation System for Łukasiewicz Logic.
Łukasiewicz Modalities.
Gonseth's objection.
Classical semantical contradiction.
Concerning the ‘Original’ 2nd Axiom.
1st axiom.
2nd axiom.
3rd axiom.
Bibliography.