登入選單
返回Google圖書搜尋
Fibring Logics
Dov M. Gabbay
出版Clarendon Press, 1998-11-05
主題Mathematics / LogicMathematics / Discrete MathematicsComputers / Computer ArchitectureComputers / Artificial Intelligence / Natural Language Processing
ISBN019159010X9780191590108
URLhttp://books.google.com.hk/books?id=mpA1uUV-uYsC&hl=&source=gbs_api
EBookSAMPLE
註釋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.