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...
| Main Authors: | , , , , |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2008.
|
| Series: | Applied Logic Series,
35 |
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
