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...
Call Number: | Libro Electrónico |
---|---|
Main Authors: | , , , , |
Corporate Author: | |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
Edition: | 1st ed. 2008. |
Series: | Applied Logic Series ;
35 |
Subjects: | |
Online Access: | Texto Completo |
Table of Contents:
- 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.