Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
- Author
- Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay …
- Publication Year
- 2008
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Mathematics and Statistics
- Download Book Read book
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.
Keywords: Mathematics and Statistics / Argumentation Theory / Combination of logics / Decomposition of logics / Fibring of logics / Network fibring / Preservation of properties / Logic / Mathematical logic / Predicate logic
