R-calculus, III: post three-valued logic - Li, Wei 1943-; Sui, Yuefei (R-Calculus, 2022)