R-Calculus, II: Many-Valued Logics