Fibring Logics by Dov M. GabbayFibring Logics by Dov M. Gabbay

Fibring Logics

byDov M. Gabbay

Hardcover | April 30, 1999

Pricing and Purchase Info


Earn 1,170 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. In this book the author offers a basic methodology for combining-or fibring-systems. This means that many existing complexsystems can be broken down into simpler components, hence making them much easier to manipulate. Using this methodology the book discusses ways of obtaining a wide variety of multimodal, modal intuitionistic, modal substructural and fuzzy systems in a uniform way. It also covers self-fibredlanguages which allow formulae to apply to themselves. The book also studies sufficient conditions for transferring properties of the component logics into properties of the combined system.
Dov M. Gabbay is at King's College, London.
Title:Fibring LogicsFormat:HardcoverPublished:April 30, 1999Publisher:Oxford University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0198503814

ISBN - 13:9780198503811

Look for similar items by category:


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