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. Using this methodology the book discusses ways of obtaining a wide variety of
multimodal, modal intuitionistic, modal substructural and fuzzy systems in a uniform way. It also covers self-fibred languages which allow formulae to apply to themselves. The book also studies sufficient conditions for transferring properties of the component logics into properties of the combined
system.
- ISBN10 0198503814
- ISBN13 9780198503811
- Publish Date 5 November 1998
- Publish Status Active
- Publish Country GB
- Publisher Oxford University Press
- Imprint Clarendon Press
- Format Hardcover
- Pages 488
- Language English