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

Fibring Logics

byDov M. Gabbay

Hardcover | April 30, 1999

Pricing and Purchase Info

$185.99 online 
$234.00 list price save 20%
Earn 930 plum® points

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Philosophy of Linguistics
Philosophy of Linguistics

by Dov M. Gabbay

$307.40$312.95

In stock online

Not available in stores

Philosophy of Complex Systems
Philosophy of Complex Systems

by Dov M. Gabbay

$261.89$285.95

In stock online

Not available in stores

Shop this author
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

Reviews

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