Get Free Shipping on orders over $79
Fibring Logics : Oxford Logic Guides - Dov M. Gabbay

Fibring Logics

By: Dov M. Gabbay

Hardcover | 5 November 1998

At a Glance

Hardcover


$157.25

or 4 interest-free payments of $39.31 with

 or 

Ships in 5 to 7 business days

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.
Industry Reviews

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


More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Mathematical Puzzles : Revised Edition - Peter  Winkler

RRP $56.99

$52.75

Essays in Analysis : Routledge Revivals - Alice Ambrose
Fuzzy Logic : An Introductory Text - Lukas Brooks
Modern Mathematical Logic - Agustin Willmott