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

$180.55 online
$234.00 list price (save 22%)
Ships within 1-3 weeks
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

Handbook of Philosophical Logic: Volume IV: Topics in the Philosophy of Language
Handbook of Philosophical Logic: Volume IV: Topics in t...

Kobo ebook|Dec 6 2012

$86.79 online$112.62list price(save 22%)
Philosophy of Biology
Philosophy of Biology

Kobo ebook|Feb 5 2007

$166.39 online$216.00list price(save 22%)
Approaches to Legal Rationality
Approaches to Legal Rationality

Kobo ebook|Oct 4 2010

$180.29 online$234.04list 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