R-Calculus IV: Propositional Logic