國立虎尾科技大學 |

R-Calculus, II: Many-Valued Logics

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	R-Calculus, II: Many-Valued Logics/ by Wei Li, Yuefei Sui.
作者:	Li, Wei.
其他作者:	Sui, Yuefei.
面頁冊數:	XIII, 271 p. 6 illus., 1 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Big Data. -
電子資源:	https://doi.org/10.1007/978-981-16-9294-9
ISBN:	9789811692949

R-Calculus, II: Many-Valued Logics
Li, Wei.

R-Calculus, II: Many-Valued Logics[electronic resource] /by Wei Li, Yuefei Sui. - 1st ed. 2022. - XIII, 271 p. 6 illus., 1 illus. in color.online resource. - Perspectives in Formal Induction, Revision and Evolution,2731-3697. - Perspectives in Formal Induction, Revision and Evolution,.

Introduction -- R-Calculus For Propositional Logic -- R-Calculus For L3-Valued Propositional Logic -- R-Calculus For L3-Valued PL,II -- R-Calculus For B22-Valued PL -- R-Calculus For B22-Valued PL,II -- Complementary R-Calculus For PL -- Multisequents and Hypersequents -- Product of Two R-Calculi -- Sum of Two R-Calculi.

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type 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. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks. .

ISBN: 9789811692949

Standard No.: 10.1007/978-981-16-9294-9doiSubjects--Topical Terms:

1017136
Big Data.

LC Class. No.: QA267-268.5

Dewey Class. No.: 005.131

R-Calculus, II: Many-Valued Logics
LDR:02591nam a22004095i 4500 001 1092738
003 DE-He213
005 20220419142948.0
007 cr nn 008mamaa
008 221228s2022 si | s |||| 0|eng d
020 $a 9789811692949 $9 978-981-16-9294-9
024 7 $a 10.1007/978-981-16-9294-9 $2 doi
035 $a 978-981-16-9294-9
050 4 $a QA267-268.5
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.131 $2 23
100 1 $a Li, Wei. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1024749
245 1 0 $a R-Calculus, II: Many-Valued Logics $h [electronic resource] / $c by Wei Li, Yuefei Sui.
250 $a 1st ed. 2022.
264 1 $a Singapore : $b Springer Nature Singapore : $b Imprint: Springer, $c 2022.
300 $a XIII, 271 p. 6 illus., 1 illus. in color. $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 Perspectives in Formal Induction, Revision and Evolution, $x 2731-3697
505 0 $a Introduction -- R-Calculus For Propositional Logic -- R-Calculus For L3-Valued Propositional Logic -- R-Calculus For L3-Valued PL,II -- R-Calculus For B22-Valued PL -- R-Calculus For B22-Valued PL,II -- Complementary R-Calculus For PL -- Multisequents and Hypersequents -- Product of Two R-Calculi -- Sum of Two R-Calculi.
520 $a This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type 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. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics. This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks. .
650 2 4 $a Big Data. $3 1017136
650 2 4 $a Mathematical Modeling and Industrial Mathematics. $3 669172
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 1 4 $a Formal Languages and Automata Theory. $3 1365747
650 0 $a Big data. $3 981821
650 0 $a Mathematical models. $3 527886
650 0 $a Logic programming. $3 670217
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Machine theory. $3 527775
700 1 $a Sui, Yuefei. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1362259
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9789811692932
776 0 8 $i Printed edition: $z 9789811692956
776 0 8 $i Printed edition: $z 9789811692963
830 0 $a Perspectives in Formal Induction, Revision and Evolution, $x 2731-3697 $3 1362260
856 4 0 $u https://doi.org/10.1007/978-981-16-9294-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)