ISBN-10:
140206781X
ISBN-13:
9781402067815
Pub. Date:
02/04/2008
Publisher:
Springer Netherlands
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems / Edition 1

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems / Edition 1

Hardcover

Current price is , Original price is $219.99. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9781402067815
Publisher: Springer Netherlands
Publication date: 02/04/2008
Series: Applied Logic Series , #35
Edition description: 2008
Pages: 602
Product dimensions: 6.14(w) x 9.25(h) x 0.05(d)

Table of Contents

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews