برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Proof methods for modal and intuitionistic logics

دانلود کتاب روشهای اثبات منطقهای مalدلی و شهودی

مشخصات کتاب

Proof methods for modal and intuitionistic logics

دسته بندی: منطق
ویرایش:  
نویسندگان: Fitting M.  , Davidson. Donald,  Hintikka. Jaakko,  Nuchelmans. Gabriël  
سری: Synthese library 169 
ISBN (شابک) : 9789401727945, 9789048183814 
ناشر: D.Reidel,Springer Netherlands 
سال نشر: 1983 
تعداد صفحات: 564 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

کلمات کلیدی مربوط به کتاب روشهای اثبات منطقهای مalدلی و شهودی: منطق.

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 25

در صورت تبدیل فایل کتاب Proof methods for modal and intuitionistic logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روشهای اثبات منطقهای مalدلی و شهودی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روشهای اثبات منطقهای مalدلی و شهودی

"ضرورت مادر اختراع است." بخش اول: آنچه در این کتاب است - جزئیات. انواع مختلفی از روش های اثبات رسمی وجود دارد که منطق دانان ابداع کرده اند. مواردی که ما در نظر می گیریم عبارتند از: 1) سیستم های تابلویی، 2) محاسبات متوالی Gentzen، 3) سیستم های استنتاج طبیعی، و 4) سیستم های بدیهی. ما رویه‌های اثبات هر یک از این انواع را برای متداول‌ترین منطق‌های مودال معمولی ارائه می‌کنیم: S5، S4، B، T، D، K، K4، D4، KB، DB، و همچنین G، منطقی که در کاربردهای مهم شده است. منطق معین به نظریه اثبات ریاضی پیانو. علاوه بر این، ما انواع مشابهی از روش‌های اثبات را برای تعداد بیشتری از منطق‌های معین معمولی و غیرعادی ارائه می‌کنیم (بسیاری از آنها توسط Lemmon معرفی شده‌اند). ما همچنین برخی از منطق های شبه منظم از جمله S2 و S3 را در نظر می گیریم. تقریباً همه این روش‌های اثبات در هر دو نسخه گزاره‌ای و مرتبه اول (به طور کلی با و بدون فرمول Barcan) مورد مطالعه قرار می‌گیرند. در نهایت، ما طیف گسترده ای از روش های اثباتی را برای منطق شهودی (و البته منطق کلاسیک نیز) ارائه می کنیم. ما در واقع دو نوع سیستم تابلویی کاملاً متفاوت را برای منطق‌هایی که در نظر می‌گیریم ارائه می‌دهیم، دو نوع محاسبات متوالی Gentzen و دو نوع سیستم استنتاج طبیعی. هر یک از دو سیستم تابلویی کاربردهای خاص خود را دارد. هر کدام اطلاعات متفاوتی در مورد منطق های مربوط به ما ارائه می دهند. آنها بیشتر از همپوشانی یکدیگر را تکمیل می کنند. از دو سیستم Gentzen، یکی از نوع معمولی است که در ادبیات رایج است.

توضیحاتی درمورد کتاب به خارجی

"Necessity is the mother of invention. " Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for the most common normal modal logics: S5, S4, B, T, D, K, K4, D4, KB, DB, and also G, the logic that has become important in applications of modal logic to the proof theory of Peano arithmetic. Further, we present a similar variety of proof procedures for an even larger number of regular, non-normal modal logics (many introduced by Lemmon). We also consider some quasi-regular logics, including S2 and S3. Virtually all of these proof procedures are studied in both propositional and first-order versions (generally with and without the Barcan formula). Finally, we present the full variety of proof methods for Intuitionistic logic (and of course Classical logic too). We actually give two quite different kinds of tableau systems for the logics we consider, two kinds of Gentzen sequent calculi, and two kinds of natural deduction systems. Each of the two tableau systems has its own uses; each provides us with different information about the logics involved. They complement each other more than they overlap. Of the two Gentzen systems, one is of the conventional sort, common in the literature.

فهرست مطالب

Front Matter....Pages i-viii
Introduction....Pages 1-10
Background....Pages 11-32
Analytic Modal Tableaus and Consistency Properties....Pages 33-63
Logical Consequence, Compactness, Interpolation, and Other Topics....Pages 64-117
Axiom Systems and Natural Deduction....Pages 118-190
Non-Analytic Logics....Pages 191-261
Non-Normal Logics....Pages 262-331
Quantifiers....Pages 332-385
Prefixed Tableau Systems....Pages 386-436
Intuitionistic Logic....Pages 437-525
Back Matter....Pages 526-555