مشخصات کتاب

Advances in natural deduction. A celebration of Dag Prawitz’s work

ویرایش:  
نویسندگان: Pereira L.C.,  Haeusler E.H.,  de Paiva V.  
سری: TL 039 
ISBN (شابک) : 9789400775473 
ناشر: Springer 
سال نشر: 2014 
تعداد صفحات: 288 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Advances in natural deduction. A celebration of Dag Prawitz’s work به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب پیشرفت در کسر طبیعی جشنی از کار داگ پروویتز

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

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

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction.

فهرست مطالب

Front Matter....Pages i-xvi
Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus....Pages 1-29
Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation....Pages 31-50
Proofs, Reasoning and the Metamorphosis of Logic....Pages 51-61
Natural Deduction for Equality: The Missing Entity....Pages 63-91
Paul Hertz’s Systems of Propositions As a Proof-Theoretical Conception of Logic....Pages 93-101
On the Structure of Natural Deduction Derivations for “Generally”....Pages 103-128
Type Theories from Barendregt’s Cube for Theorem Provers....Pages 129-144
What is Propositional Logic a Theory of, if Anything?....Pages 145-180
Categorical Semantics of Linear Logic for All....Pages 181-192
Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory....Pages 193-241
Decomposition of Reduction....Pages 243-267
An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited....Pages 269-279

نظرات کاربران

کتاب های تصادفی

دانلود کتاب O Brave New People: The European Invention of the American Indian

دانلود کتاب Restructuring the Labour Market: The Implications for Youth

دانلود کتاب Switched-currents : an analogue technique for digital technology

دانلود کتاب Preacher Woman Sings the Blues: The Autobiographies of Nineteenth-Century African American Evangelists

دانلود کتاب Poems and Prose (Oxford World's Classics)