Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems, Applied Logic Series 35

Carnielli, Walter/Coniglio, Marcelo/Gabbay, Dov M et al
160,49 €
(inkl. MwSt.)
In den Warenkorb

Lieferbar innerhalb 1 - 2 Wochen

Bibliografische Daten
ISBN/EAN: 9789048177257
Sprache: Englisch
Umfang: xvi, 602 S.
Auflage: 1. Auflage 2008
Einband: kartoniertes Buch

Beschreibung

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.