Wei Li, Yuefei Sui. R-Calculus, IV: Propositional Logic

Singapore: Springer, 2023. — 264 p.This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also given.
This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic.Preface to the Series
Preface
Introduction
R-Calculus for Simplified Propositional Logics
R-Calculi for Tableau/Gentzen Deduction Systems
R-Calculi RQ1Q2/RQ1Q2
R-Calculi RQ1iQ2j/RQ1iQ2j
R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j
R-Calculi for Supersequents
R-Calculi for -Propositional Logic