Fibring Logics Hardback
by Dov M. (Professor of Computer Science, Professor of Computer Science, King's College, London Gabbay
Part of the Oxford Logic Guides series
Hardback
- Information
Description
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.
Information
-
Out of StockMore expected soonContact us for further information
- Format:Hardback
- Pages:488 pages, 22 line figures
- Publisher:Oxford University Press
- Publication Date:05/11/1998
- Category:
- ISBN:9780198503811
£120.00
£118.90
Information
-
Out of StockMore expected soonContact us for further information
- Format:Hardback
- Pages:488 pages, 22 line figures
- Publisher:Oxford University Press
- Publication Date:05/11/1998
- Category:
- ISBN:9780198503811