R-Calculus, IV: Propositional Logic - Li, Wei; Sui, Yuefei (Perspectives in Formal Induction, Revision and Evolution, 2023)