國立虎尾科技大學 |

J. Michael Dunn on Information Based Logics

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	J. Michael Dunn on Information Based Logics/ edited by Katalin Bimbo.
其他作者:	Bimbo, Katalin.
面頁冊數:	XLIII, 436 p. 21 illus.online resource. :
Contained By:	Springer Nature eBook
標題:	Logic. -
電子資源:	https://doi.org/10.1007/978-3-319-29300-4
ISBN:	9783319293004

J. Michael Dunn on Information Based Logics
J. Michael Dunn on Information Based Logics[electronic resource] /edited by Katalin Bimbo. - 1st ed. 2016. - XLIII, 436 p. 21 illus.online resource. - Outstanding Contributions to Logic,82211-2758 ;. - Outstanding Contributions to Logic,7.

Introduction: From Information at Large to Semantics of Logics -- Wedge Sum, Merge and Inconsistency -- LC and its Pretabular Relatives -- Epistemic Relevance and Epistemic Actions -- On Split Negation, Strong Negation, Information, Falsiﬁcation, and Veriﬁcation -- Logical Foundations of Evidential Reasoning with Contradictory Information -- Mereocompactness and Duality for Mereotopological Spaces -- Syllogistic Logic with Cardinality Comparisons.

This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly supplying both or neither. He later published a related interpretation of the logic R-mingle, which turned out to be one of the first relational semantics for a relevance logic. An incompatibility relation between information states lends itself to a definition of negation and it has figured into Dunn's comprehensive investigations into representations of various negations. The informational view of semantics is also a prominent theme in Dunn’s research on other logics, such as quantum logic and linear logic, and led to the encompassing theory of generalized Galois logics (or "gaggles"). Dunn’s latest work addresses informational interpretations of the ternary accessibility relation and the very nature of information. The book opens with Dunn’s autobiography, followed by a list of his publications. It then presents a series of papers written by respected logicians working on different aspects of information-based logics. The topics covered include the logic R-mingle, which was introduced by Dunn, and its applications in mathematical reasoning as well as its importance in obtaining results for other relevance logics. There are also interpretations of the accessibility relation in the semantics of relevance and other non-classical logics using different notions of information. It also presents a collection of papers that develop semantics for various logics, including certain modal and many-valued logics. The publication of this book is well timed, since we are living in an "information age.” Providing new technical findings, intellectual history and careful expositions of intriguing ideas, it appeals to a wide audience of scholars and researchers.

ISBN: 9783319293004

Standard No.: 10.1007/978-3-319-29300-4doiSubjects--Topical Terms:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

J. Michael Dunn on Information Based Logics
LDR:03828nam a22004095i 4500 001 972504
003 DE-He213
005 20200629164222.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319293004 $9 978-3-319-29300-4
024 7 $a 10.1007/978-3-319-29300-4 $2 doi
035 $a 978-3-319-29300-4
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
245 1 0 $a J. Michael Dunn on Information Based Logics $h [electronic resource] / $c edited by Katalin Bimbo.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a XLIII, 436 p. 21 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Outstanding Contributions to Logic, $x 2211-2758 ; $v 8
505 0 $a Introduction: From Information at Large to Semantics of Logics -- Wedge Sum, Merge and Inconsistency -- LC and its Pretabular Relatives -- Epistemic Relevance and Epistemic Actions -- On Split Negation, Strong Negation, Information, Falsiﬁcation, and Veriﬁcation -- Logical Foundations of Evidential Reasoning with Contradictory Information -- Mereocompactness and Duality for Mereotopological Spaces -- Syllogistic Logic with Cardinality Comparisons.
520 $a This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly supplying both or neither. He later published a related interpretation of the logic R-mingle, which turned out to be one of the first relational semantics for a relevance logic. An incompatibility relation between information states lends itself to a definition of negation and it has figured into Dunn's comprehensive investigations into representations of various negations. The informational view of semantics is also a prominent theme in Dunn’s research on other logics, such as quantum logic and linear logic, and led to the encompassing theory of generalized Galois logics (or "gaggles"). Dunn’s latest work addresses informational interpretations of the ternary accessibility relation and the very nature of information. The book opens with Dunn’s autobiography, followed by a list of his publications. It then presents a series of papers written by respected logicians working on different aspects of information-based logics. The topics covered include the logic R-mingle, which was introduced by Dunn, and its applications in mathematical reasoning as well as its importance in obtaining results for other relevance logics. There are also interpretations of the accessibility relation in the semantics of relevance and other non-classical logics using different notions of information. It also presents a collection of papers that develop semantics for various logics, including certain modal and many-valued logics. The publication of this book is well timed, since we are living in an "information age.” Providing new technical findings, intellectual history and careful expositions of intriguing ideas, it appeals to a wide audience of scholars and researchers.
650 0 $a Logic. $3 558909
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Mathematical Logic and Foundations. $3 669393
700 1 $a Bimbo, Katalin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1108431
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319292984
776 0 8 $i Printed edition: $z 9783319292991
776 0 8 $i Printed edition: $z 9783319805351
830 0 $a Outstanding Contributions to Logic, $x 2211-2758 ; $v 7 $3 1253494
856 4 0 $u https://doi.org/10.1007/978-3-319-29300-4
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)