株式会社極東書店トップ ＞ 商品一覧 ＞ Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. 2015 ed.
商品詳細
Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning. 2015 ed.
・ISBN 978-3-319-17911-7 hard EUR 99.99
￥26,726.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Abe, Jair Minoro / Akama, Seiki / Nakamatsu, Kazumi, |
|---|---|
| シリーズ | (Intelligent Systems Reference Library) |
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2015 |
| ページ数 | 190 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A04-91832＞ |
解説
This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.