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

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

Autorentext

Walter Carnielli is Full Professor of Logic, Department of Philosophy, State University of Campinas, Brazil. Ex-Director of the Centre for Logic, Epistemology and the History of Science (1998-2004) and full member of the Security and Quantum Information Group-- Institute of Telecommunications, Lisbon, Portugal. Grantee of the Alexander von Humboldt Foundation, Germany, held temporary positions and research appointments in the USA (University of California, Berkeley), as well as in several institutions in Chile, Colombia, Venezuela, Italy, Germany (Münster and Bonn), France, Spain, Portugal and Luxembourg. Carnielli is known for his contribution to the proof theory and semantics for contemporary heterodox (non-classical) logics. Of special significance are his contributions to many-valued logics, paraconsistent logics and combinations of logics. With his students and collaborators Carnielli introduced the possible-translations semantics, which led to a revival in the semantic interpretation of paraconsistent logics, and the concept of logics of formal inconsistency which systematize a great number of extant paraconsistent logics, opening the way to applications of paraconsistency to computer science and to philosophical investigations around the topic. Carnielli has also worked on finite and infinite combinatorics, and shaped, with collaborators, the modulated logics, a wide class of logics dedicated to formalize quantified uncertain reasoning. He is the author or co-author of more than academic 70 publications (papers, books and monographs). Claudio Pizzi is Full Professor of Philosophy of Science at the Faculty of Letters of the University of Siena (Italy) and contract professor at the University of Milano Bicocca. His main interests are in the field of general modal logic, conditional logic, tense logic and philosophy of causality. In 1973 he translated and edited the Italian version G.E.Hughes and M.J.Cresswell's "An Introduction to ModalLogic". In the past ten years he has been at the head of a research team which organized the international conferences of the series MBR (Model-Based Reasoning). He is author or coauthor of more that 70 publications , some of which published in Topoi, Notre Dame Journal of Formal Logic, Logique et Analyse, Journal of Philosophical Logic, Studia Logica. His main theoretical contributions concern a theory of rational inference based on the consequence relation (consequential implication) and a theory of causal relations based on iterated conditionals.

Inhalt
Introductory overview.- Splicing logics: Syntactic fibring.- Splicing logics: Semantic fibring.- Heterogeneous fibring.- Fibring non-truth functional logics.- Fibring first-order logics.- Fibring higher-order logics.- Modulated fibring.- Splitting logics.- New trends: Network fibring.- Summing-up and outlook.