TY  - GEN
AB  - 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.
AU  - Li, Wei,
AU  - Sui, Yuefei,
CN  - Q303.2
DO  - 10.1007/978-981-19-4270-9
DO  - doi
ID  - 1451651
KW  - Proof theory.
KW  - Calculus.
KW  - Computer logic.
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-19-4270-9
N2  - 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.
SN  - 9789811942709
SN  - 9811942706
T1  - R-calculus.
TI  - R-calculus.
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-981-19-4270-9
ER  -