دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Protoalgebraic Logics
دانلود کتاب منطق Protoalgebraic
مشخصات کتاب
Protoalgebraic Logics
ویرایش: reprint نویسندگان: Janusz Czelakowski, Mundici. Daniele, Priest. Graham سری: Trends in Logic 10 ISBN (شابک) : 9789048156931, 9401728070 ناشر: Springer Netherlands سال نشر: 2001 تعداد صفحات: 464 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب منطق Protoalgebraic: منطق، نمادین و ریاضی.
در صورت تبدیل فایل کتاب Protoalgebraic Logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق Protoalgebraic نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق Protoalgebraic
هدف اصلی این کتاب ارائه ایده های اخیر در منطق با محوریت مفهوم عملیات پیامد است. ما می‌خواهیم این ایده‌ها را به صورت واقعی و مادی مرتبط نشان دهیم، یعنی در قالب یک نظریه منسجم برگرفته از چندین فرض و تعریف ساده. این ایده ها در بسیاری از مراکز تحقیقاتی به وجود آمده است. مطالعه کامل تاریخ آنها قطعاً می تواند برای مورخ منطق کار هیجان انگیزی باشد. در کتاب این جنبه از نظریه کم رنگ شده است. این کتاب متعلق به منطق جبری انتزاعی است، حوزه تحقیقاتی که تا حد زیادی ارتباطات متقابل بین جبر و منطق را بررسی می کند. نتایج ارائه‌شده در اینجا مربوط به منطق‌هایی است که در زبان‌های مرتبه صفر تعریف شده‌اند (Le.، زبان‌های جمله‌ای بدون کمیت بدون نمادهای محمول). دامنه تئوری بیان شده در کتاب، در واقع، بسیار گسترده تر است. این نظریه همچنین برای منطق‌هایی که در زبان‌های مرتبه بالاتر تعریف می‌شوند معتبر است. مشکل انتقال نظریه به سطح زبان های درجه اول به طور رضایت بخشی حل شده است و ایده های جدیدی در این زمینه در کار Blok و Pigozzi ارائه شده است [1989]
توضیحاتی درمورد کتاب به خارجی
The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989]
فهرست مطالب
Front Matter....Pages i-xi
Introduction....Pages 1-20
Basic Definitions and Facts....Pages 21-66
Front Matter....Pages 67-67
Protoalgebraic Logics....Pages 69-122
Protoalgebraicity and the Deduction Theorem....Pages 123-184
Equivalential Logics....Pages 185-242
Front Matter....Pages 243-243
Quasivarieties of Algebras....Pages 245-285
Algebraizable Logics....Pages 287-345
Regularly Algebraizable Logics....Pages 347-371
Fregean Logics....Pages 373-418
Back Matter....Pages 419-452
