You are here

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems

Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, and Cristina Sernadas
Publisher: 
Springer
Publication Date: 
2008
Number of Pages: 
600
Format: 
Hardcover
Series: 
Applied Logic Series 35
Price: 
199.00
ISBN: 
9781402067815
Category: 
Monograph
We do not plan to review this book.

Preface.- 1. Introductory Overview.- 2. Splicing Logics: Syntactic Fibring.- 3. Splicing Logics: Semantic Fibring.- 4. Heterogenous Fibring.- 5. Fibring Non-Truth Functional Logics.- 6. Fibring First-Order Logics.- 7. Fibring Higher-Order Logics.- 8. Modulated Fibring.- 9. Splitting Logics.- 10. New Trends: Network Fibring.- 11. Summing-up and Outlook.- Bibliography.- Subject Index.- Table of Symbols.- List of Figures.