| 书目名称 | New Essays on Belnap-Dunn Logic | | 编辑 | Hitoshi Omori,Heinrich Wansing | | 视频video | | | 概述 | Collects philosophical essays on Belnap-Dunn logic by leading scholars.Reprints the seminal papers on Belnap-Dunn logic.Includes a well-known but unpublished manuscript of Dunn, an interview with Beln | | 丛书名称 | Synthese Library | | 图书封面 |  | | 描述 | .This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay by Dunn..Besides the original, monumental papers, the book also includes research by leading scholars. They consider the extraordinary importance of Belnap-Dunn logic from several perspectives. They look at how, philosophically, it has served as a basic system of inconsistency-tolerant reasoning, as the core of underlying logics for theories based on dialetheism, and, more recently, for theories based on Buddhist philosophy. Coverage also explores its contributions tocomputer science, such as knowledge representation and information processing..This mix of seminal papers and insightful analysis by top scholars offers readers a comprehensive outlook on Belnap-Dunn logic an | | 出版日期 | Book 2019 | | 关键词 | Belnap’s four-‐valued semantics; Dunn’s two-‐valued semantics; Expansions of Belnap-‐Dunn logic; Rel | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-030-31136-0 | | isbn_softcover | 978-3-030-31138-4 | | isbn_ebook | 978-3-030-31136-0Series ISSN 0166-6991 Series E-ISSN 2542-8292 | | issn_series | 0166-6991 | | copyright | Springer Nature Switzerland AG 2019 |
The information of publication is updating
|
|
发表于 2025-3-21 17:16:21
