Basic many-valued logic

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

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

اینترنت-انتشارات. - 48 ص. انگلیسی. (OCR-слой). [Alasdair Urquhart در کلارکسون، انتاریو (کانادا). دانشگاه تورنتو]. منطق با ارزش های فراوان حوزه وسیعی است که صدها مقاله منتشر شده و تک نگاری های متعددی به آن اختصاص داده شده است. من سعی کرده‌ام این نظرسنجی را با تمرکز بر منطق چند ارزشی به‌عنوان یک رشته مستقل، در حد قابل مدیریت نگه دارم. این بدان معنی است که موضوعاتی مانند استفاده از منطق های بسیار ارزشمند برای اثبات استقلال بدیهیات در منطق گزاره ای حذف شده است. نظرات خود را در مورد نسخه قبلی این نظرسنجی، و به دانیله موندیچی به خاطر انتقاد سازنده اش از نسخه اصلاح شده. مطالب
تاریخ اولیه و انگیزه .
مقدمه.
لوکاسیویچ و اقتضای آینده.
ماتریس های 3 ارزشی لوکاسیویچ و انگیزه آنها.
دیگر منطق های لوکاسیویچ.
سیستم های با ارزش پست پست .
بوچوار و پارادوکس ها.
سیستم کلین.
نظریه عمومی منطق های چند ارزشی.
روش ماتریس.
روابط پیامد .
رابطه پیامد بوچوار.
رابطه پیامد کلین.
پیامد لوکاسیوویچ (مورد محدود).
نتیجه بی‌ارزش.
مطالعه‌پذیری متناهی.
توابع قابل تعریف.
توابع قابل تعریف در Lm.
مشخصات کامل بودن تابعی.
جبرهای پست.
جبرهای پست تعمیم یافته و منطق الگوریتمی.
منطق محمولی با ارزش های فراوان.
/>نظریه مجموعه ها در منطق با ارزش های متعدد.
توسعه ها از سال 1960
ساختارهای مدل در مونوئیدهای جابجایی.
ساختارهای مدل برای Lω.
انجام خطاها اضافه کنید بالا؟
منطق فازی.
منطق اهمیت.
نگاه به گذشته.
منطق چند ارزشی چیست؟
منطق عدم قطعیت .
«تعریف نشده» به عنوان یک ارزش واقعی.
ابرارزیابی‌ها.
خلاصه.
مرجع (۷۹ انتشار).

Internet-Publication. — 48 p. English. (OCR-слой). [Alasdair Urquhart in Clarkson, Ontario (Canada). University of Toronto]. Many-valued logic is a vast field with hundreds of published papers and numerous monographs devoted to it. I have attempted to keep this survey to manageable length by focusing on many-valued logic as an independent discipline. This means that such topics as the use of many-valued logics for proving the independence of axioms in propositional logic have been omitted.
I am indebted to Gordon Beavers, Peter O’Hearn, Wolfgang Rautenberg and Andrzej Wro´nski for comments on the earlier version of this survey, and to Daniele Mundici for his constructive criticism of the revised version. Contents
Early History and Motivation.
Introduction.
Lukasiewicz and Future Contingency.
Lukasiewicz’s 3-valued Matrices and their Motivation.
Other Lukasiewicz Logics.
Post’s Many-valued Systems.
Bochvar and the Paradoxes.
Kleene’s System.
General Theory of Many-valued Logics.
The Matrix Method.
Consequence Relations.
The Bochvar Consequence Relation.
The Kleene Consequence Relation.
Lukasiewicz Consequence (Finite Case).
Infinite-valued Consequence.
Finite Axiomatizability.
Definable Functions.
Definable Functions in Lm.
Characterizing Functional Completeness.
Post Algebras.
Generalized Post Algebras and Algorithmic Logic.
Many-valued Predicate Logic.
Set Theory in Many-valued Logic.
Developments since 1960
Model Structures on Commutative Monoids.
Model Structures for Lω.
Do Errors Add Up?
Fuzzy Logic.
The Logic of Significance.
Retrospective.
What is Many-valued Logic?
The Logic of Uncertainty.
‘Undefined’ as a Truth Value.
Supervaluations.
Summing Up.
References (79 publ).