مشخصات کتاب

Automated deduction in classical and non-classical logics: selected papers

ویرایش:  
نویسندگان: Ricardo Caferra. Gernot Salzer  
سری: Lecture Notes in Computer Science - Lecture Notes Artificial Intelligence 1761 
ISBN (شابک) : 3540671900, 9783540671909 
ناشر: Springer 
سال نشر: 2000 
تعداد صفحات: 308 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Automated deduction in classical and non-classical logics: selected papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب کسر خودکار در منطق های کلاسیک و غیر کلاسیک: مقالات انتخاب شده

این جلد مجموعه‌ای از مقالات کامل بازبینی‌شده درباره استنتاج خودکار در منطق‌های کلاسیک، معین و چند ارزشی را با تأکید بر نظریه‌های مرتبه اول ارائه می‌کند. پنج مقاله دعوت شده توسط محققین برجسته دیدگاه تلفیقی از تحولات اخیر در اثبات قضیه مرتبه اول را ارائه می دهد. 14 مقاله پژوهشی ارائه شده از طریق یک فرآیند انتخاب دوگانه انجام شد و برای اولین بار در کارگاه بین المللی اثبات قضیه مرتبه اول، FTP'98، که در وین، اتریش، در نوامبر 1998 برگزار شد، ارائه شد. مقالات ارائه شده نشان دهنده وضعیت فعلی در تحقیق در محوطه؛ اکثر نتایج ارائه شده بر روی روش های تفکیک یا تابلو متکی هستند، به استثنای معدودی که پارادایم معادله را انتخاب می کنند.

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

This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories. Five invited papers by prominent researchers give a consolidated view of the recent developments in first-order theorem proving. The 14 research papers presented went through a twofold selection process and were first presented at the International Workshop on First-Order Theorem Proving, FTP'98, held in Vienna, Austria, in November 1998. The contributed papers reflect the current status in research in the area; most of the results presented rely on resolution or tableaux methods, with a few exceptions choosing the equational paradigm.

فهرست مطالب

Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory....Pages 1-22
Higher-Order Modal Logic—A Sketch....Pages 23-38
Proving Associative-Commutative Termination Using RPO-Compatible Orderings....Pages 39-61
Decision Procedures and Model Building or How to Improve Logical Information in Automated Deduction....Pages 62-79
Replacement Rules with Definition Detection....Pages 80-94
On the Complexity of Finite Sorted Algebras....Pages 95-108
A Further and Effective Liberalization of the δ -Rule in Free Variable Semantic Tableaux....Pages 109-125
A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory....Pages 126-136
Interpretation of a Mizar-Like Logic in First Order Logic....Pages 137-151
An $$ \\mathcal{O} $$ (( n · log n ) 3 )-Time Transformation from Grz into Decidable Fragments of Classical First-Order Logic....Pages 152-166
Implicational Completeness of Signed Resolution....Pages 167-174
An Equational Re-engineering of Set Theories....Pages 175-190
Issues of Decidability for Description Logics in the Framework of Resolution....Pages 191-205
Extending Decidable Clause Classes via Constraints....Pages 206-220
Completeness and Redundancy in Constrained Clause Logic....Pages 221-235
Effective Properties of Some First Order Intuitionistic Modal Logics....Pages 236-250
Hidden Congruent Deduction....Pages 251-266
Resolution-Based Theorem Proving for SH n -Logics....Pages 267-281
Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized δ -Rule but Without Skolemization....Pages 282-297

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

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

دانلود کتاب Die Aussichten des Christentums

دانلود کتاب The Forty-Nine Steps

دانلود کتاب The Greatest Fury: The Battle of New Orleans and the Rebirth of America

دانلود کتاب The Disciplined Mind: Develop Mental Toughness, Strengthen Your Willpower, and Control Your Thoughts.

دانلود کتاب High Energy Physics and Cosmology - Proceedings of the 1990 Summer School (The Ictp Theoretical Physics)