R-Calculus, III: Post Three-Valued Logic

R-Calculus, VI: Finite Injury Priority Method

R-Calculus, II: Many-Valued Logics

R-CALCULUS: A Logic of Belief Revision