Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
- المؤلف
- Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay …
- سنة النشر
- 2008
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Mathematics and Statistics
- تحميل الكتاب قراءة الكتاب
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete.
الكلمات المفتاحية: Mathematics and Statistics / Argumentation Theory / Combination of logics / Decomposition of logics / Fibring of logics / Network fibring / Preservation of properties / Logic / Mathematical logic / Predicate logic
