語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Computer logic." ]
切換:
標籤
|
MARC模式
|
ISBD
New essays on Belnap-Dunn logic
~
Omori, Hitoshi.
FindBook
Google Book
Amazon
博客來
New essays on Belnap-Dunn logic
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
New essays on Belnap-Dunn logic/ edited by Hitoshi Omori, Heinrich Wansing.
其他作者:
Omori, Hitoshi.
出版者:
Cham :Springer International Publishing : : 2019.,
面頁冊數:
viii, 324 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
標題:
Entailment (Logic) -
電子資源:
https://doi.org/10.1007/978-3-030-31136-0
ISBN:
9783030311360
New essays on Belnap-Dunn logic
New essays on Belnap-Dunn logic
[electronic resource] /edited by Hitoshi Omori, Heinrich Wansing. - Cham :Springer International Publishing :2019. - viii, 324 p. :ill., digital ;24 cm. - Synthese library ;v.418. - Synthese library ;v.418..
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 to computer 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 and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general.
ISBN: 9783030311360
Standard No.: 10.1007/978-3-030-31136-0doiSubjects--Topical Terms:
3454549
Entailment (Logic)
LC Class. No.: BC199.E58 / N48 2019
Dewey Class. No.: 160
New essays on Belnap-Dunn logic
LDR
:02437nmm a2200325 a 4500
001
2219362
003
DE-He213
005
20200101145818.0
006
m d
007
cr nn 008maaau
008
201126s2019 gw s 0 eng d
020
$a
9783030311360
$q
(electronic bk.)
020
$a
9783030311353
$q
(paper)
024
7
$a
10.1007/978-3-030-31136-0
$2
doi
035
$a
978-3-030-31136-0
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
BC199.E58
$b
N48 2019
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
090
$a
BC199.E58
$b
N532 2019
245
0 0
$a
New essays on Belnap-Dunn logic
$h
[electronic resource] /
$c
edited by Hitoshi Omori, Heinrich Wansing.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2019.
300
$a
viii, 324 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Synthese library ;
$v
v.418
520
$a
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 to computer 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 and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general.
650
0
$a
Entailment (Logic)
$3
3454549
650
0
$a
Computer logic.
$3
840463
650
1 4
$a
Logic.
$3
529544
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
892517
650
2 4
$a
Mathematical Logic and Foundations.
$3
892656
700
1
$a
Omori, Hitoshi.
$3
3454547
700
1
$a
Wansing, Heinrich.
$3
923727
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer eBooks
830
0
$a
Synthese library ;
$v
v.418.
$3
3454548
856
4 0
$u
https://doi.org/10.1007/978-3-030-31136-0
950
$a
Religion and Philosophy (Springer-41175)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9394221
電子資源
11.線上閱覽_V
電子書
EB BC199.E58 N48 2019
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入