語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Computer logic." ]
切換:
標籤
|
MARC模式
|
ISBD
R-calculus.. III,. Post three-valued...
~
Li, Wei.
FindBook
Google Book
Amazon
博客來
R-calculus.. III,. Post three-valued logic
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
R-calculus./ by Wei Li, Yuefei Sui.
其他題名:
Post three-valued logic
作者:
Li, Wei.
其他作者:
Sui, Yuefei.
出版者:
Singapore :Springer Nature Singapore : : 2022.,
面頁冊數:
xii, 273 p. :ill., digital ;24 cm.
內容註:
Introduction -- Many-Placed Sequents -- Modalized Three-Valued Logics -- Post three-valued logic -- R-Calculi for Post Three-valued logic -- Post Three-valued description logic -- R-calculi for Post three-valued description logic -- R-calculi for corner multisequents -- General multisequents -- R-calculi for general multisequents.
Contained By:
Springer Nature eBook
標題:
Proof theory. -
電子資源:
https://doi.org/10.1007/978-981-19-4270-9
ISBN:
9789811942709
R-calculus.. III,. Post three-valued logic
Li, Wei.
R-calculus.
III,Post three-valued logic[electronic resource] /Post three-valued logicby Wei Li, Yuefei Sui. - Singapore :Springer Nature Singapore :2022. - xii, 273 p. :ill., digital ;24 cm. - Perspectives in formal induction, revision and evolution,2731-3697. - Perspectives in formal induction, revision and evolution..
Introduction -- Many-Placed Sequents -- Modalized Three-Valued Logics -- Post three-valued logic -- R-Calculi for Post Three-valued logic -- Post Three-valued description logic -- R-calculi for Post three-valued description logic -- R-calculi for corner multisequents -- General multisequents -- R-calculi for general multisequents.
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
ISBN: 9789811942709
Standard No.: 10.1007/978-981-19-4270-9doiSubjects--Topical Terms:
543782
Proof theory.
LC Class. No.: Q303.2
Dewey Class. No.: 515
R-calculus.. III,. Post three-valued logic
LDR
:02064nmm a2200349 a 4500
001
2305480
003
DE-He213
005
20221119163440.0
006
m d
007
cr nn 008maaau
008
230409s2022 si s 0 eng d
020
$a
9789811942709
$q
(electronic bk.)
020
$a
9789811942693
$q
(paper)
024
7
$a
10.1007/978-981-19-4270-9
$2
doi
035
$a
978-981-19-4270-9
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
Q303.2
072
7
$a
UYA
$2
bicssc
072
7
$a
MAT018000
$2
bisacsh
072
7
$a
UYA
$2
thema
082
0 4
$a
515
$2
23
090
$a
Q303.2
$b
.L693 2022
100
1
$a
Li, Wei.
$3
884990
245
1 0
$a
R-calculus.
$n
III,
$p
Post three-valued logic
$h
[electronic resource] /
$c
by Wei Li, Yuefei Sui.
246
3 0
$a
Post three-valued logic
260
$a
Singapore :
$b
Springer Nature Singapore :
$b
Imprint: Springer,
$c
2022.
300
$a
xii, 273 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Perspectives in formal induction, revision and evolution,
$x
2731-3697
505
0
$a
Introduction -- Many-Placed Sequents -- Modalized Three-Valued Logics -- Post three-valued logic -- R-Calculi for Post Three-valued logic -- Post Three-valued description logic -- R-calculi for Post three-valued description logic -- R-calculi for corner multisequents -- General multisequents -- R-calculi for general multisequents.
520
$a
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.
650
0
$a
Proof theory.
$3
543782
650
0
$a
Calculus.
$3
517463
650
0
$a
Computer logic.
$3
840463
700
1
$a
Sui, Yuefei.
$3
3521755
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
830
0
$a
Perspectives in formal induction, revision and evolution.
$3
3521756
856
4 0
$u
https://doi.org/10.1007/978-981-19-4270-9
950
$a
Computer Science (SpringerNature-11645)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9447029
電子資源
11.線上閱覽_V
電子書
EB Q303.2
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入