語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
J. Michael Dunn on information based...
~
Bimbo, Katalin.
FindBook
Google Book
Amazon
博客來
J. Michael Dunn on information based logics
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
J. Michael Dunn on information based logics/ edited by Katalin Bimbo.
其他作者:
Bimbo, Katalin.
出版者:
Cham :Springer International Publishing : : 2016.,
面頁冊數:
xliii, 436 p. :ill., digital ;24 cm.
內容註:
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, Falsification, and Verification -- Logical Foundations of Evidential Reasoning with Contradictory Information -- Mereocompactness and Duality for Mereotopological Spaces -- Syllogistic Logic with Cardinality Comparisons.
Contained By:
Springer eBooks
標題:
Logic. -
電子資源:
http://dx.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. - Cham :Springer International Publishing :2016. - xliii, 436 p. :ill., digital ;24 cm. - Outstanding contributions to logic,v.82211-2758 ;. - Outstanding contributions to logic ;v.3..
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, Falsification, and Verification -- 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--Personal Names:
2192022
Dunn, J. Michael,
1941-Subjects--Topical Terms:
529544
Logic.
LC Class. No.: BC71 / .J55 2016
Dewey Class. No.: 160
J. Michael Dunn on information based logics
LDR
:03420nmm a2200325 a 4500
001
2036141
003
DE-He213
005
20161013154902.0
006
m d
007
cr nn 008maaau
008
161117s2016 gw s 0 eng d
020
$a
9783319293004
$q
(electronic bk.)
020
$a
9783319292984
$q
(paper)
024
7
$a
10.1007/978-3-319-29300-4
$2
doi
035
$a
978-3-319-29300-4
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
BC71
$b
.J55 2016
072
7
$a
HPL
$2
bicssc
072
7
$a
PHI011000
$2
bisacsh
082
0 4
$a
160
$2
23
090
$a
BC71
$b
.J11 2016
245
1 0
$a
J. Michael Dunn on information based logics
$h
[electronic resource] /
$c
edited by Katalin Bimbo.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2016.
300
$a
xliii, 436 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Outstanding contributions to logic,
$x
2211-2758 ;
$v
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, Falsification, and Verification -- 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.
600
1 0
$a
Dunn, J. Michael,
$d
1941-
$3
2192022
650
0
$a
Logic.
$3
529544
650
0
$a
Computer science.
$3
523869
650
0
$a
Logic, Symbolic and mathematical.
$3
532051
650
1 4
$a
Philosophy.
$3
516511
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
892517
650
2 4
$a
Mathematical Logic and Foundations.
$3
892656
700
1
$a
Bimbo, Katalin.
$3
2192023
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer eBooks
830
0
$a
Outstanding contributions to logic ;
$v
v.3.
$3
2057820
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-29300-4
950
$a
Religion and Philosophy (Springer-41175)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9279985
電子資源
11.線上閱覽_V
電子書
EB BC71 .J55 2016
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入