R-Calculus, IV: Propositional Logic