Fibring Logics - Dov M. Gabbay
-20% with code BOOKS
Shipping in 17-23 days
30-day return policy
Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.
Description
Modern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined.
More Information
| Author | Dov M. Gabbay |
|---|---|
| Publisher | Hurst & Co. |
| Release year | 1998 |
| Cover type | Hardcover |
| EAN | 9780198503811 |