Currently Out Of Stock
Fibring logics
Hardback
€192.13
Collect 576 Reward Points
- Currently Out Of Stock
- Book 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.
- Product Details
-
- ISBN
- 9780198503811
- Format
- Hardback
- Publisher
- Oxford University Press, (05 November 1998)
- Number of Pages
- 475
- Weight
- 887 grams
- Language
- English
- Dimensions
- 241 x 161 x 30 mm
- Series:
- See all books in this series
- Categories: