| Title:
|
FIBRING LOGICS
|
| By: |
Dov M. Gabbay |
| Format: |
Hardback |
| List price:
|
£90.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0198503814 |
| ISBN 13: |
9780198503811 |
| Publisher: |
OXFORD UNIVERSITY PRESS |
| Pub. date: |
5 November, 1998 |
| Series: |
Oxford Logic Guides 38 |
| Pages: |
488 |
| 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. |
| Synopsis: |
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. |
| Illustrations: |
22 line figures |
| Publication: |
UK |
| Imprint: |
Clarendon Press |
| Returns: |
Non-returnable |