Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
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 the...
Enregistré dans:
| Auteurs principaux: | , , , , , |
|---|---|
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Dordrecht :
Springer Netherlands : Springer e-books
[20..].
Cham : Springer Nature |
| Collection: | Applied Logic Series
35 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Analysis and synthesis of logics, How to cut and paste reasoning systems, by Walter Carnielli,... Marcelo Coniglio,... Dov M. Gabbay,... Paula Gouveia,... and Cristina Sernadas,..., Dordrecht, Springer Science+Business Media B.V., 2008, 1 vol. (xvi-600 p.), Applied Logic Series, 978-1-4020-6781-5 |
Table des matières:
- Introductory overview Splicing logics: Syntactic fibring Splicing logics: Semantic fibring Heterogeneous fibring Fibring non-truth functional logics Fibring first-order logics Fibring higher-order logics Modulated fibring Splitting logics New trends: Network fibring Summing-up and outlook