مشخصات کتاب

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 مگابایت 

کلمات کلیدی مربوط به کتاب منطق 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

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

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

دانلود کتاب Cost Accounting: Analysis and Control

دانلود کتاب Die Wall Street ist auch nur eine Straße: Lektionen eines Investment-Rebellen

دانلود کتاب Green Technologies and Infrastructure to Enhance Urban Ecosystem Services: Proceedings of the Smart and Sustainable Cities Conference 2018

دانلود کتاب Modular Design of Grammar: Linguistics on the Edge

دانلود کتاب Stand Up For America