rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9781402067815

Analysis and Synthesis of Logics

by ; ; ; ;
  • ISBN13:

    9781402067815

  • ISBN10:

    140206781X

  • Format: Hardcover
  • Copyright: 2008-03-05
  • Publisher: Springer Verlag
  • Purchase Benefits
  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
  • Write a Review Icon Write a Review
List Price: $219.99 Save up to $162.75
  • Digital
    $124.02*
    Add to Cart

    DURATION
    PRICE
    *To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.

Summary

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.

Table of Contents

Introductory overviewp. 1
Splicing logics: Syntactic fibringp. 37
Splicing logics: Semantic fibringp. 91
Heterogeneous fibringp. 139
Fibring non-truth functional logicsp. 179
Fibring first-order logicsp. 215
Fibring higher-order logicsp. 263
Modulated fibringp. 323
Splitting logicsp. 389
New trends: Network fibringp. 435
Summing-up and outlookp. 519
Bibliographyp. 559
Subject indexp. 579
Table of symbolsp. 591
List of figuresp. 594
Table of Contents provided by Blackwell. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program