Volume 35 2008

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

ISBN: 978-1-4020-6781-5 (Print) 978-1-4020-6782-2 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages I-XVI

  2. No Access

    Book Chapter

    Pages 1-36

    Introductory overview

  3. No Access

    Book Chapter

    Pages 37-89

    Splicing logics: Syntactic fibring

  4. No Access

    Book Chapter

    Pages 91-137

    Splicing logics: Semantic fibring

  5. No Access

    Book Chapter

    Pages 139-178

    Heterogeneous fibring

  6. No Access

    Book Chapter

    Pages 179-214

    Fibring non-truth functional logics

  7. No Access

    Book Chapter

    Pages 215-261

    Fibring first-order logics

  8. No Access

    Book Chapter

    Pages 263-322

    Fibring higher-order logics

  9. No Access

    Book Chapter

    Pages 323-388

    Modulated fibring

  10. No Access

    Book Chapter

    Pages 389-433

    Splitting logics

  11. No Access

    Book Chapter

    Pages 435-518

    New trends: Network fibring

  12. No Access

    Book Chapter

    Pages 519-558

    Summing-up and outlook

  13. Back Matter

    Pages 559-600