دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Quantification in Nonclassical Logic
دانلود کتاب Quantification در منطق غیر کلاسیک
مشخصات کتاب
Quantification in Nonclassical Logic
ویرایش: [Vol. 1] نویسندگان: Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman سری: Studies in Logic and the Foundations of Mathematics, Volume 153 ISBN (شابک) : 9780444520128, 0444520120 ناشر: Elsevier سال نشر: 2009 تعداد صفحات: 640 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 54,000
در صورت تبدیل فایل کتاب Quantification in Nonclassical Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب Quantification در منطق غیر کلاسیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب Quantification در منطق غیر کلاسیک
کمی سازی و روش ها همیشه موضوعات مورد علاقه منطق دانان بوده است. این دو مضمون از فلسفه و زبان در دوران باستان پدید آمدند. آنها تا قرن بیستم با روش‌های غیررسمی سنتی مورد مطالعه قرار گرفتند. در قرن گذشته ابزارها بسیار ریاضی شدند و هم منطق مودال و هم کمی سازی کاربردهای متعددی در علوم کامپیوتر پیدا کردند. در همان زمان، بسیاری از انواع دیگر منطق غیر کلاسیک مورد بررسی قرار گرفت و در علوم کامپیوتر به کار رفت. اگرچه چندین کتاب خوب در منطق گزاره ای وجود دارد، این کتاب اولین تک نگاری مفصل در کمی سازی مرتبه اول غیر کلاسیک است. این شامل نتایج به دست آمده در طول سی سال گذشته است. میدان بسیار بزرگ است، بنابراین ما خودمان را تنها به دو نوع منطق محدود می‌کنیم: مدال و فوق‌شهودی. تاکید اصلی جلد 1 نظریه-مدل است و بر توصیف معناشناسی صداهای مختلف و مشکل کامل تمرکز دارد --- حتی برای این سوالات به ظاهر ساده دست ما پر است. بخش عمده ای از مطالب ارائه شده قبلاً منتشر نشده است. برخی از نتایج بسیار جدید هستند، و برای نتایج دیگر ما یا برهان های جدید را ارائه می دهیم یا اولین اثبات ها را با جزئیات کامل.
توضیحاتی درمورد کتاب به خارجی
Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy andlanguage in ancient times; they were studied by traditional informalmethods until the 20th century. In the last century the tools becamehighly mathematical, and both modal logic and quantification found numerous applications in Computer Science. At the same time many other kinds of nonclassical logics were investigated and applied to Computer Science. Although there exist several good books in propositional modal logics, this book is the first detailed monograph in nonclassical first-order quantification. It includes results obtained during the past thirty years. The field is very large, so we confine ourselves with only two kinds of logics: modal and superintuitionistic. The main emphasis of Volume 1 is model-theoretic, and it concentrates on descriptions of different sound semantics and completeness problem --- even for these seemingly simple questions we have our hands full. The major part of the presented material has never been published before. Some results are very recent, and for other results we either give new proofs or first proofs in full detail.
فهرست مطالب
Content:
Edited by
Pages ii-iii
Copyright
Page iv
Preface
Pages v-vii
Introduction
Pages ix-xx
Chpater 1 Basic propositional logic
Pages 3-77
Chpater 2 Basic predicate logic
Pages 79-189
Introduction: What is semantics?
Pages 193-198
Chapter 3 Kripke semantics
Pages 199-291
Chpater 4 Algebraic semantics
Pages 293-343
Chpater 5 Metaframe semantics
Pages 345-480
Chpater 6 Kripke completeness for varying domains
Pages 483-551
Chpater 7 Kripke completeness for constant domains
Pages 553-592
Bibliography
Pages 593-602
Index
Pages 603-615
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Ensayos morales, politicos y literarios
دانلود کتاب The EasyPeasy Way to Stop Pornography Addiction
دانلود کتاب Electromagnetic Surface Excitations: Proceedings of an International Summer School at the Ettore Majorana Centre, Erice, Italy, July 1–13, 1985
