Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems by Walter CarnielliAnalysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems by Walter Carnielli

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

byWalter Carnielli

Paperback | November 22, 2010

Pricing and Purchase Info

$274.07 online 
$297.95 list price save 8%
Earn 1370 plum® points
Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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 theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature. The issue of preservation of properties is addressed.
Title:Analysis and Synthesis of Logics: How to Cut and Paste Reasoning SystemsFormat:PaperbackDimensions:620 pagesPublished:November 22, 2010Publisher:Springer NetherlandsLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9048177251

ISBN - 13:9789048177257

Look for similar items by category:

Reviews

Table of Contents

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.

Editorial Reviews

From the reviews:"This is an advanced book on the combination of logics, which is a recent hot topic in logical research. The merit of the book is that it provides an overview of the scene, besides proving original theorems, in the scope of a general methodology for combination called fibring. . This book will be of interest to a large audience given that it also deals with applications of fibring in different areas." (Alexandre Costa-Leite, Mathematical Reviews, Issue 2010 a)