Fibring Logics
$173.60
- Hardcover
488 pages
- Release Date
5 November 1998
Summary
Fibring Logics: Weaving Logics Together
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 complex systems can be broken down into simpler components, hence making them much easier to manipulate.
Using this methodology the book discusses ways of o…
Book Details
| ISBN-13: | 9780198503811 |
|---|---|
| ISBN-10: | 0198503814 |
| Series: | Oxford Logic Guides |
| Author: | Dov M. Gabbay |
| Publisher: | Oxford University Press |
| Imprint: | Oxford University Press |
| Format: | Hardcover |
| Number of Pages: | 488 |
| Release Date: | 5 November 1998 |
| Weight: | 887g |
| Dimensions: | 241mm x 161mm x 30mm |
You Can Find This Book In
What They're Saying
Critics Review
“The mechanism of fibring logics can be understood as a methodology which permits one to apply idiosyncratic properties of one given logic (propositional or modal, for instance) to other logics, creating hybrid systems for the sake of purely theoretical interests, or as suggested in several places in this book, directed to applications. The reader can appreciate the difficulties of a still elusive theory of fibring. Although with totally distinct backgrounds, the ideas of fibring, on the one hand, and splitting and splicing, on the other, seem to be complementary processes in the realm of logical systems whose relationships would contribute to the still to be determined general theory of combination of logics. This book is a good contribution in that direction.” - Walter Carnielli, Mathematical Reviews, 2000
About The Author
Dov M. Gabbay
Gabbay is with King’s College.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.