Tell your friends about this item:
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series Walter Carnielli 2008 edition
Price
¥ 28,871
excl. VAT
Ordered from remote warehouse
Expected delivery Dec 25 - Jan 8, 2026
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series
Walter Carnielli
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.
618 pages, biography
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | February 4, 2008 |
| ISBN13 | 9781402067815 |
| Publishers | Springer-Verlag New York Inc. |
| Pages | 602 |
| Dimensions | 156 × 235 × 33 mm · 1.04 kg |
| Language | English |
Show all
More by Walter Carnielli
![Cover for Walter Carnielli · Paraconsistent Logic: Consistency, Contradiction and Negation - Logic, Epistemology, and the Unity of Science (Paperback Book) [Softcover reprint of the original 1st ed. 2016 edition] (2018)](https://imusic.b-cdn.net/images/item/original/537/9783319814537.jpg?walter-carnielli-2018-paraconsistent-logic-consistency-contradiction-and-negation-logic-epistemology-and-the-unity-of-science-paperback-book&class=scaled&v=1605329374)
![Cover for Walter Carnielli · Paraconsistent Logic: Consistency, Contradiction and Negation - Logic, Epistemology, and the Unity of Science (Hardcover Book) [1st ed. 2016 edition] (2016)](https://imusic.b-cdn.net/images/item/original/031/9783319332031.jpg?walter-carnielli-2016-paraconsistent-logic-consistency-contradiction-and-negation-logic-epistemology-and-the-unity-of-science-hardcover-book&class=scaled&v=1480445394)
![Cover for Walter Carnielli · Modalities and Multimodalities - Logic, Epistemology, and the Unity of Science (Paperback Book) [Softcover reprint of hardcover 1st ed. 2008 edition] (2010)](https://imusic.b-cdn.net/images/item/original/244/9789048179244.jpg?walter-carnielli-2010-modalities-and-multimodalities-logic-epistemology-and-the-unity-of-science-paperback-book&class=scaled&v=1485860779)
![Cover for Walter Carnielli · Modalities and Multimodalities - Logic, Epistemology, and the Unity of Science (Paperback Book) [2008 edition] (2009)](https://imusic.b-cdn.net/images/item/original/626/9789048137626.jpg?walter-carnielli-2009-modalities-and-multimodalities-logic-epistemology-and-the-unity-of-science-paperback-book&class=scaled&v=1485860779)
![Cover for Walter Carnielli · Modalities and Multimodalities - Logic, Epistemology, and the Unity of Science (Hardcover Book) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/895/9781402085895.jpg?walter-carnielli-2008-modalities-and-multimodalities-logic-epistemology-and-the-unity-of-science-hardcover-book&class=scaled&v=1408546381)
See all of Walter Carnielli ( e.g. Paperback Book and Hardcover Book )