Skip to content

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

Spend $50 to get a free movie!

ISBN-10: 140206781X

ISBN-13: 9781402067815

Edition: 2008

Authors: Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

List price: $269.00
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Customers also bought

Book details

List price: $269.00
Copyright year: 2008
Publisher: Springer
Publication date: 2/4/2008
Binding: Hardcover
Pages: 602
Size: 6.25" wide x 9.25" long x 1.50" tall
Weight: 2.244
Language: English

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
Subject index
Table of symbols
List of figures