R-Calculus, IV: Propositional Logic

R-Calculus, III: Post Three-Valued Logic

R-CALCULUS: A Logic of Belief Revision

R-Calculus, V: Description Logics