Overview
- First book addressing both composition and decomposition of logics
- Tool box for combining and decomposing logics in different guises
- Mathematical approach
- Several examples in such diverse areas as software specification, knowledge representation, argumentation theory, networks, security protocols and quantum computing
- Written by internationally leading researchers in the field of pure and applied logic and philosophy
Part of the book series: Applied Logic Series (APLS, volume 35)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
-
Front Matter
-
Back Matter
Keywords
About this book
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 (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete.
The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computational linguistics and modular automated reasoning.
This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (for instance, temporal, epistemic and probabilistic logics).
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)
Authors and Affiliations
Bibliographic Information
Book Title: Analysis and Synthesis of Logics
Book Subtitle: How to Cut and Paste Reasoning Systems
Authors: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
Series Title: Applied Logic Series
DOI: https://doi.org/10.1007/978-1-4020-6782-2
Publisher: Springer Dordrecht
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer Science+Business Media B.V. 2008
Hardcover ISBN: 978-1-4020-6781-5Published: 04 February 2008
Softcover ISBN: 978-90-481-7725-7Published: 22 November 2010
eBook ISBN: 978-1-4020-6782-2Published: 22 January 2008
Series ISSN: 1386-2790
Edition Number: 1
Number of Pages: XVI, 602
Topics: Mathematical Logic and Foundations, Logic, Mathematical Logic and Formal Languages