Walter A. Carnielli

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series Walter A. Carnielli Softcover Reprint of Hardcover 1st Ed. 2008 edition

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. The issue of preservation of properties is addressed.