Fibring Logics

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.


Author: Dov M. Gabbay
Publisher: Clarendon Press
Published: 12/24/1998
Pages: 496
Binding Type: Hardcover
Weight: 1.96lbs
Size: 9.00h x 6.00w x 1.25d
ISBN: 9780198503811

This title is not returnable