國立虎尾科技大學 |

R-Calculus, III: Post Three-Valued Logic

Record Type:	Language materials, printed : Monograph/item
Title/Author:	R-Calculus, III: Post Three-Valued Logic/ by Wei Li, Yuefei Sui.
Author:	Li, Wei.
other author:	Sui, Yuefei.
Description:	XII, 273 p. 3 illus., 1 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Machine theory. -
Online resource:	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] /by Wei Li, Yuefei Sui. - 1st ed. 2022. - XII, 273 p. 3 illus., 1 illus. in color.online resource. - 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:

527775
Machine theory.

LC Class. No.: QA267-268.5

Dewey Class. No.: 005.131

R-Calculus, III: Post Three-Valued Logic
LDR:02403nam a22004095i 4500 001 1085673
003 DE-He213
005 20221119163440.0
007 cr nn 008mamaa
008 221228s2022 si | s |||| 0|eng d
020 $a 9789811942709 $9 978-981-19-4270-9
024 7 $a 10.1007/978-981-19-4270-9 $2 doi
035 $a 978-981-19-4270-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, III: Post Three-Valued Logic $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 XII, 273 p. 3 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 -- 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 Machine theory. $3 527775
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Logic programming. $3 670217
650 0 $a Mathematical models. $3 527886
650 0 $a Computer science—Mathematics. $3 1253519
650 1 4 $a Formal Languages and Automata Theory. $3 1365747
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Mathematical Modeling and Industrial Mathematics. $3 669172
650 2 4 $a Mathematics of Computing. $3 669457
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 9789811942693
776 0 8 $i Printed edition: $z 9789811942716
776 0 8 $i Printed edition: $z 9789811942723
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-19-4270-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)