Fibring logics
著者
書誌事項
Fibring logics
(Oxford logic guides, 38)
Clarendon Press, c1999
- : hbk
大学図書館所蔵 件 / 全20件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references (p. [459]-471) and index
内容説明・目次
内容説明
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.
目次
- 1. An overview
- 2. Logics and their semantics
- 3. Combining modal logics
- 4. Intuitionistic modal logics
- 5. Comparison with literature
- 6. Introducing self-fibring
- 7. Self-fibring of predicate logics
- 8. Self-fibring with function systems
- 9. Self-fibring of intuitionistic logic
- 10. Applications of self-fibring
- 11. Conditional implication
- 12. How to make your logic fuzzy
- 13. Combing temporal logic systems
- 14. Grafting modalities
- 15. Fibred tableaux
「Nielsen BookData」 より