Analysis and Synthesis of Logics [electronic resource] 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...
| Uniform Title: | Applied Logic Series ;
35 |
|---|---|
| Main Authors: | |
| Corporate Author: | |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
| Edition: | 1st ed. 2008. |
| Series: | Applied Logic Series ;
35 |
| Subjects: | |
| Online Access: | |
| Variant Title: |
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied logic series ; v. 35) |
| Format: | Electronic eBook |
System Under Maintenance
Our Library Management System is currently under maintenance.
Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:
Please contact Reference and Discovery Services via their Contact Form or call them directly at: 517-353-8700 for assistance.