Fibring Logics by Dov M. Gabbay

Fibring Logics

byDov M. Gabbay

Hardcover | April 30, 1999

not yet rated|write a review

Pricing and Purchase Info

$185.99 online 
Earn 930 plum® points

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.

About The Author

Dov M. Gabbay is at King's College, London.
Conditionals and Modularity in General Logics
Conditionals and Modularity in General Logics

by Dov M. Gabbay


Available for download

Not available in stores

Handbook of Philosophical Logic
Handbook of Philosophical Logic

by Dov M. Gabbay


Available for download

Not available in stores

Shop this author

Details & Specs

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:

Customer Reviews of Fibring Logics


Extra Content

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