Untertitel:: Applied Logic Series
Verlag:: Springer Netherland
Erschienen:: 22.01.2008
Seitenanzahl:: 602
ISBN:: 1402067828
EAN:: 9781402067822
Format:: eBook
Schutz:: Adobe-DRM
Downloadzeit:: Maximaler Downloadzeitraum: 24 Monate

Teilen Sie dieses Produkt im Social Web

Analysis and Synthesis of Logics

Walter Carnielli / Marcelo Coniglio / Dov M. Gabbay / Paula Gouveia / Cristina Sernadas

<P>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. </P>