Overview

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.

Full Product Details

9789048116089

Table of Contents

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)

Author Information

Tab Content 6

Customer Reviews

Recent Reviews

Countries Available