R-Calculus, III: Post Three-Valued Logic
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/multisequ...
| Main Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Singapore
Springer Nature Singapore
2022, 2022
|
| Edition: | 1st ed. 2022 |
| Series: | Perspectives in Formal Induction, Revision and Evolution
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
| Summary: | 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. |
|---|---|
| Physical Description: | XII, 273 p. 3 illus., 1 illus. in color online resource |
| ISBN: | 9789811942709 |