Fibring Logics

Name: Fibring Logics
Price: 155.8 USD
Availability: InStock
ISBN: 9780198503811

ISBN-10: 0198503814

ISBN-13: 9780198503811

Edition: 1998

Authors: Dov M. Gabbay

List price: $130.00

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $155.80

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

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…

Book details

List price: $130.00
Copyright year: 1998
Publisher: Oxford University Press, Incorporated
Publication date: 12/24/1998
Binding: Hardcover
Pages: 488
Size: 6.50" wide x 9.75" long x 1.25" tall
Weight: 1.936
Language: English




An overview



Logics and their semantics



Combining modal logics



Intuitionistic modal logics



Comparison with literature



Introducing self-fibring



Self-fibring of predicate logics



Self-fibring with function systems



Self-fibring of intuitionistic logic



Applications of self-fibring



Conditional implication



How to make your logic fuzzy



Combing temporal logic systems



Grafting modalities



Fibred tableaux