Fibring Logics (Hardcover) (ISBN-13: 9780198503811)

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
ISBN-10: 0198503814
ISBN-13: 9780198503811
Publisher: OUP Oxford
Language: English
Published: 12/24/1998
Pages: 488
Format: Hardcover
Weight: 1.96lbs
Size: 9.00h x 6.00w x 1.25d