R-Calculus III: Post Three-Valued Logic