Analysis and Synthesis of Logics
| Autor: | Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas |
|---|---|
| EAN: | 9781402067822 |
| eBook Format: | |
| Sprache: | Englisch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 22.01.2008 |
| Untertitel: | How to Cut and Paste Reasoning Systems |
| Kategorie: | |
| Schlagworte: | Argumentation Theory Combination of logics Decomposition of logics Fibring of logics Network fibring Preservation of properties logic mathematical logic predicate logic |
149,79 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Verwandte Artikel