Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , , , , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
| Edición: | 1st ed. 2008. |
| Colección: | Applied Logic Series ;
35 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.