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. |