Fibring Logics

Oxford Logic Guides #38

by Dov M. Gabbay

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.

488 pages, Hardcover

First published December 24, 1998