[ TutPig.com ] R-Calculus, II - Many-Valued Logics