Analysis and Synthesis of Logics
171,19 €
inkl. 7% MwSt. und
ggf. zzgl. Versand
<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>
![Analysis and Synthesis of Logics Analysis and Synthesis of Logics](https://cos.richshop.de/servlet/images/9781402067822.jpg?w=300)
- Autor: Walter Carnielli / Cristina Sernadas / Paula Gouveia / Dov M. Gabbay / Marcelo Coniglio
- Seitenzahl: 604
- Format: PDF
- DRM: social-drm (ohne Kopierschutz)
- Erscheinungsdatum: 22.01.2008
- Herausgeber: SPRINGER