: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
: Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems
: Springer-Verlag
: 9781402067822
: 1
: CHF 136.10
:
: Grundlagen
: English
: 602
: Wasserzeichen
: PC/MAC/eReader/Tablet
: PDF

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.