R-Calculus II: Many-Valued Logics