Fibring Logics (Oxford Logic Guides , No 38)

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. 1. An Overview -- 2. Logics And Their Semantics -- 3. Combining Modal Logics -- 4. Intuitionistic Modal Logics -- 5. Comparison With Literature -- 6. Introducing Self-fibring -- 7. Self-fibring Of Predicate Logics -- 8. Self-fibring With Function Systems -- 9. Self-fibring Of Intuitionistic Logic -- 10. Applications Of Self-fibring -- 11. Conditional Implication -- 12. How To Make Your Logic Fuzzy -- 13. Combing Temporal Logic Systems -- 14. Grafting Modalities -- 15. Fibred Tableaux Dov M. Gabbay. Includes Bibliographical References (p. [459]-471) And Index. 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.