Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
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
Saved in:
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: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
|---|
| Edition: | 1st ed. 2008. |
|---|
| Series: | Applied Logic Series,
35
Springer eBook Collection.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click to view e-book
|
|---|
| Holy Cross Note: | Loaded electronically.
Electronic access restricted to members of the Holy Cross Community. |
|---|