Conditionals and Modularity in General Logics

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

این کتاب برای محققان و دانشجویان فارغ التحصیل منطق و علوم کامپیوتر نظری ارزشمند خواهد بود.

This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation.

The book will be of value to researchers and graduate students in logic and theoretical computer science.