书目名称 | J. Michael Dunn on Information Based Logics |
编辑 | Katalin Bimbó |
视频video | |
概述 | Highlights contemporary developments in formal logic resulting.from the focus on information and its role in inferences.Presents a collection of papers addressing the central theme of.J. Michael Dunn‘ |
丛书名称 | Outstanding Contributions to Logic |
图书封面 |  |
描述 | .This book celebrates and expands on J. Michael Dunn’s work oninformational interpretations of logic. Dunn, in his Ph.D. thesis (1966),introduced a semantics for first-degree entailments utilizing the idea that asentence can provide positive or negative information about a topic, possiblysupplying both or neither. He later published a related interpretation of thelogic R-mingle, which turned out to be one of the first relational semanticsfor a relevance logic. An incompatibility relation between information stateslends itself to a definition of negation and it has figured into Dunn‘scomprehensive investigations into representations of various negations. Theinformational view of semantics is also a prominent theme in Dunn’s research onother logics, such as quantum logic and linear logic, and led to theencompassing theory of generalized Galois logics (or "gaggles").Dunn’s latest work addresses informational interpretations of the ternaryaccessibility relation and the verynature of information...The book opens withDunn’s autobiography, followed by a list of his publications. It then presentsa series of papers written by respected logicians working on different aspectsof information-ba |
出版日期 | Book 2016 |
关键词 | Gaggle theory; Information in reasoning; Relevance logics; Many-valued logics; Non-classical logics; Set- |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-319-29300-4 |
isbn_softcover | 978-3-319-80535-1 |
isbn_ebook | 978-3-319-29300-4Series ISSN 2211-2758 Series E-ISSN 2211-2766 |
issn_series | 2211-2758 |
copyright | Springer International Publishing Switzerland 2016 |