Fibring Logics

by Dov M. Gabbay

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
Publication date:	12/24/1998
Series:	Oxford Logic Guides , #38
Pages:	488
Product dimensions:	6.00(w) x 9.30(h) x 1.10(d)

About the Author

King's College, London

Table of Contents

1. An overview2. Logics and their semantics3. Combining modal logics4. Intuitionistic modal logics5. Comparison with literature6. Introducing self-fibring7. Self-fibring of predicate logics8. Self-fibring with function systems9. Self-fibring of intuitionistic logic10. Applications of self-fibring11. Conditional implication12. How to make your logic fuzzy13. Combing temporal logic systems14. Grafting modalities15. Fibred tableaux

Editorial Reviews

"The mechanism of fibring logics can be understood as a methodology which permits one to apply idiosyncratic properties of one given logic (propositional or modal, for instance) to other logics, creating hybrid systems for the sake of purely theoretical interests, or as suggested in several places in this book, directed to applications. The reader can appreciate the difficulties of a still elusive theory of fibring. Although with totally distinct backgrounds, the ideas of fibring, on the one hand, and splitting and splicing, on the other, seem to be complementary processes in the realm of logical systems whose relationships would contribute to the still to be determined general theory of combination of logics. This book is a good contribution in that direction." - Walter Carnielli, Mathematical Reviews, 2000

From the Publisher