Fibring Logics

— —

Dov M. Gabbay (Professor of Computer Science, Professor of Computer Science, King's College, London)

Fibring Logics

Dov M. Gabbay (Professor of Computer Science, Professor of Computer Science, King's College, London)

$283

Hardback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Oxford University Press
01 October 1998

Mathematical logic; Fuzzy set theory; Computer architecture & logic design; Natural language & machine translation

Series: Oxford Logic Guides

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.

By: Dov M. Gabbay (Professor of Computer Science Professor of Computer Science King's College London)
Imprint: Oxford University Press
Country of Publication: United Kingdom
Volume: 38
Dimensions: Height: 241mm, Width: 161mm, Spine: 30mm
Weight: 887g
ISBN: 9780198503811
ISBN 10: 0198503814
Series: Oxford Logic Guides
Pages: 488
Publication Date: 01 October 1998
Audience: Professional and scholarly , Undergraduate
Format: Hardback
Publisher's Status: Active

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

Reviews for Fibring Logics

The mechanism of fibring logics can be understood as a methodology which permits one to apply idiosyncratic properties of one given logic (propositional or modal, for instance) to other logics, creating hybrid systems for the sake of purely theoretical interests, or as suggested in several places in this book, directed to applications. The reader can appreciate the difficulties of a still elusive theory of fibring. Although with totally distinct backgrounds, the ideas of fibring, on the one hand, and splitting and splicing, on the other, seem to be complementary processes in the realm of logical systems whose relationships would contribute to the still to be determined general theory of combination of logics. This book is a good contribution in that direction. - Walter Carnielli, Mathematical Reviews, 2000