Picture 1 of 8
Stock photo
Picture 1 of 8
Stock photo
Oxford Logic Guides: Fibring Logics by Dov M. Gabbay (1998, Hardcover)
S
SMD Books (813)
100% positive feedback
Price:
US $122.00
ApproximatelyRM 511.12
+ $39.13 shipping
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherOxford University Press, Incorporated
ISBN-100198503814
ISBN-139780198503811
eBay Product ID (ePID)900387
Product Key Features
Number of Pages488 Pages
LanguageEnglish
Publication NameFibring Logics
Publication Year1998
SubjectFiber Optics, Logic
TypeTextbook
AuthorDov M. Gabbay
Subject AreaMathematics, Technology & Engineering
SeriesOxford Logic Guides
FormatHardcover
Dimensions
Item Height1.2 in
Item Weight31.7 Oz
Item Length9.2 in
Item Width6.1 in
Additional Product Features
Intended AudienceCollege Audience
LCCN99-181169
Dewey Edition21
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, "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, "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
Series Volume Number38
IllustratedYes
Dewey Decimal511.3
Table Of Content1. An overview2. Logics and their semantics3. Combining modal logics4. Intuitionistic modal logics5. Comparison with literature6. Introducing self-fibring7. Self-fibring of predicate logics8. Self-fibring with function systems9. Self-fibring of intuitionistic logic10. Applications of self-fibring11. Conditional implication12. How to make your logic fuzzy13. Combing temporal logic systems14. Grafting modalities15. Fibred tableaux
SynopsisModern applications of logic in mathematics, computer science, and linguistics require combined systems composed of different types of logic working together. In this book the author offers a basic methodology for combining--or fibring--systems. The technique shows how to break complex systems into simple components which can be easily manipulated and recombined., 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., 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.
LC Classification NumberQA9.G175 1999
Be the first to write a review
