Fibring Logics

Fibring Logics

by Dov M. Gabbay
     
 

ISBN-10: 0198503814

ISBN-13: 9780198503811

Pub. Date: 11/28/1998

Publisher: Oxford University Press, USA

Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining—or fibring—systems. The technique shows how to break complex systems into simple components which can be easily manipulated and

Overview

Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining—or fibring—systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.

Product Details

ISBN-13:
9780198503811
Publisher:
Oxford University Press, USA
Publication date:
11/28/1998
Series:
Oxford Logic Guides Series, #38
Pages:
496
Product dimensions:
6.00(w) x 9.30(h) x 1.10(d)

Table of Contents

1. An overview
2. Logics and their semantics
3. Combining modal logics
4. Intuitionistic modal logics
5. Comparison with literature
6. Introducing self-fibring
7. Self-fibring of predicate logics
8. Self-fibring with function systems
9. Self-fibring of intuitionistic logic
10. Applications of self-fibring
11. Conditional implication
12. How to make your logic fuzzy
13. Combing temporal logic systems
14. Grafting modalities
15. Fibred tableaux

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >