R-Calculus, III: Post Three-Valued Logic
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
Discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics Gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming etc. Inspires theoretic computer scientists by showing how R-calculus is developed into a series of complicated theories
Autor*in
Wei Li
Themen in »R-Calculus, III: Post Three-Valued Logic«
Belief revision AGM postulates R-calculus Gentzen deduction system Soundness Completeness three-valued logics Deduction system Tableau and Sequents tableau-based propositional modal logic description logics propositional logic logic programming semantic networks
Stimmen zu »R-Calculus, III: Post Three-Valued Logic«
“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)
()