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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Normalization, Cut-Elimination, and the Theory of Proofs

دانلود کتاب عادی سازی، برش حذف، و نظریه اثبات

مشخصات کتاب

Normalization, Cut-Elimination, and the Theory of Proofs

دسته بندی: منطق
ویرایش: 1 
نویسندگان: A. M. Ungar  
سری: Center for the Study of Language and Information - CSLI Lecture Notes 28 
ISBN (شابک) : 0937073830, 9780937073834 
ناشر: CSLI Publications 
سال نشر: 1992 
تعداد صفحات: 245 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت

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

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

در صورت تبدیل فایل کتاب Normalization, Cut-Elimination, and the Theory of Proofs به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب عادی سازی، برش حذف، و نظریه اثبات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب عادی سازی، برش حذف، و نظریه اثبات

قضیه حذف برش گنتزن به طور گسترده ای به عنوان ابزاری برای بررسی های فرا ریاضی استفاده می شود. با این حال، گاهی ادعا می‌شود که قضیه و اثبات آن دارای منافعی است که مستقل از این کاربردها است و از اطلاعاتی که در مورد ساختار برهان به طور کلی ارائه می‌کنند، ناشی می‌شود. Ungar این ادعا را در چارچوب منطق مرتبه اول بررسی می کند. اونگار شرحی از قضیه جنتزن برای فرمالیسم های مختلف ارائه می دهد و مشکلات موجود در برخورد با این نسخه های مختلف را به صورت یکسان، به عنوان نمونه هایی از یک قضیه واحد که به سیستم خاصی از قواعد مرتبط نیست، مورد بحث قرار می دهد. اونگار با بسط قضیه به یک حساب قیاسی طبیعی که مشتقات آن مجاز به داشتن بیش از یک نتیجه هستند، استدلال می‌کند که نسخه‌های مختلف قضیه، کم و بیش تخصص‌های طبیعی یک نتیجه واحد هستند که اهمیت آن را می‌توان برحسب اثبات‌های ارائه‌شده درک کرد. توسط مشتقات رسمی بحث پایانی بر رابطه بین برهان و اشتقاقات صوری متمرکز است، و نقش اثبات ممکن است به عنوان بخشی از یک نظریه کلی شواهد بازی کند.

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

Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of these applications and derives from the information they supply about the structure of proofs in general. Ungar investigates this claim in the context of first order logic. Ungar gives an account of Gentzen's theorem for various formalisms and discusses the difficulties involved in treating these different versions uniformly, as instances of a single theorem which is not tied to a particular system of rules. By extending the theorem to a natural deduction calculus whose derivations are allowed to have more than one conclusion, Ungar argues that the different versions of the theorem are more or less natural specializations of a single result whose significance can be understood in terms of the proofs represented by formal derivations. A concluding discussion focuses on the relationship between proofs and formal derivations, and the role proofs may play as part of a general theory of evidence.

فهرست مطالب

Normalization, Cut-Elimination, and the Theory of Proofs......Page 3
Copyright......Page 4
Contents......Page 5
Introduction......Page 7
1. Background......Page 17
2. Comparing NJ with LJ......Page 38
3. Natural Deduction Revisited......Page 52
4. The Problem of Substitution......Page 61
5. A Multiple-Conclusion Calculus......Page 83
6. Reduction Procedures......Page 108
7. Correspondence Results......Page 132
8. Interpretations of Derivations......Page 159
Appendix A. A Strong Cut-Elimination Theorem for LJ......Page 192
Appendix B. A Formulation of the Classical Sequent Calculus......Page 206
Appendix C. Proofs and Categories......Page 226
List of Works Cited......Page 235
Index......Page 240
CSLI Publications......Page 243