“The book offers a systematic and comprehensive approach to addressing three-valued logic within the framework of Post's logic. … Potential readers should be aware of the book's density. While it offers comprehensive coverage and depth, the presentation of results is notably succinct.” (Nino Guallart, Mathematical Reviews, January, 2025)
“The book is well-structured and provides a detailed exploration of the subject matter. It appears to be a valuable resource for those interested in the field of logic and belief revision.” (Albert Hoogewijs, zbMATH 1525.03001, 2024)
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.
