Fibring Logics

Hardcover | April 30, 1999

byDov M. Gabbay

not yet rated|write a review
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.

Pricing and Purchase Info

$185.99 online
$234.00 list price (save 20%)
In stock online
Ships free on orders over $25

From the Publisher

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 compone...

Dov M. Gabbay is at King's College, London.

other books by Dov M. Gabbay

Temporal Logic: Mathematical Foundations and Computational Aspects Volume 1
Temporal Logic: Mathematical Foundations and Computatio...

Hardcover|Apr 1 1995

$414.56 online$517.50list price(save 19%)
Handbook of Philosophical Logic
Handbook of Philosophical Logic

Kobo ebook|Apr 17 2013

$191.49 online$248.67list price(save 22%)
Logic from Russell to Church
Logic from Russell to Church

Kobo ebook|Jun 16 2009

$234.09 online$304.00list price(save 22%)
see all books by Dov M. Gabbay
Format: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

Reviews

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