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...
Full description
Bibliographic Details
| Main Authors: |
Carnielli, Walter
(Author),
Coniglio, Marcelo
(Author),
Gabbay, Dov M.
(Author),
Gouveia, Paula
(Author),
Sernadas, Cristina
(Author) |
|---|
| Corporate Author: |
SpringerLink (Online service) |
|---|
| Format: | Electronic
eBook
|
|---|
| Language: | English |
|---|
| Published: |
Dordrecht :
Springer Netherlands,
2008.
|
|---|
| Series: | Applied Logic Series,
35
|
|---|
| Subjects: | |
|---|
| Online Access: | Full Text via HEAL-Link
|
|---|
