| 书目名称 | Introduction to Annotated Logics |
| 副标题 | Foundations for Para |
| 编辑 | Jair Minoro Abe,Seiki Akama,Kazumi Nakamatsu |
| 视频video | |
| 概述 | Provides logical foundations for annotated logics.Discusses interesting applications of annotated logics.Presents the foundations for paracomplete and paraconsistent reasoning.Includes supplementary m |
| 丛书名称 | Intelligent Systems Reference Library |
| 图书封面 |  |
| 描述 | .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.. |
| 出版日期 | Book 2015 |
| 关键词 | Annotated Logics; Incomplete and Inconsistent Information; Non-classical Logics for Reasoning; Paracomp |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-17912-4 |
| isbn_softcover | 978-3-319-38686-7 |
| isbn_ebook | 978-3-319-17912-4Series ISSN 1868-4394 Series E-ISSN 1868-4408 |
| issn_series | 1868-4394 |
| copyright | Springer International Publishing Switzerland 2015 |
发表于 2025-3-21 18:21:18
