株式会社極東書店トップ ＞ 商品一覧 ＞ Fibring Logics.
商品詳細
Fibring Logics.
・ISBN 978-0-19-850381-1 hard GB£ 132.50
￥41,976.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Gabbay, Dov M., |
|---|---|
| シリーズ | (Oxford Logic Guides 38) |
| 出版社 | (Oxford University Press, UK) |
| 出版年月 | 1998 |
| ページ数 | 488 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A03-6444＞ |
解説
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.