Analysis and Synthesis of Logics
Download or Read eBook Analysis and Synthesis of Logics PDF written by Walter Carnielli and published by Springer Science & Business Media. This book was released on 2008-01-22 with total page 612 pages. Available in PDF, EPUB and Kindle.
Author | : Walter Carnielli |
Publisher | : Springer Science & Business Media |
Total Pages | : 612 |
Release | : 2008-01-22 |
ISBN-10 | : 9781402067822 |
ISBN-13 | : 1402067828 |
Rating | : 4/5 (22 Downloads) |
Book Synopsis Analysis and Synthesis of Logics by : Walter Carnielli
Book excerpt: 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.