本系列书的第二卷展示了R-演算是一个单调表证明系统和一个非单调证明系统的组合。R演算是一个非单调的Gentzen型演绎系统，是一个具体的信念修正算子，它被证明满足AGM假设和DP假设。讨论了多值逻辑中的表证明系统和R-演算的代数和逻辑性质。
这本书提供了理论和实践的丰富结合。它适用于逻辑领域的学生、研究人员和实践者。对于所有对数据、数字化、信息的正确性和一致性、模态逻辑、非单调逻辑、可判定/不可判定逻辑、逻辑编程、描述逻辑、缺省逻辑和语义继承网络感兴趣的人来说，它也是非常有用的。
R-Calculus, II: Many-Valued Logics
This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type 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. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics.
This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.
OR
