Semantic rules of generalized tautologies in RDP logic system

Abstract

The generalized semantic MP rule and generalized semantic HS rule in the revised Kleene logic system have been applied to RDP logic system. The properties of generalized semantic MP rule and generalized semantic HS rule of generalized tautologies in RDP logic system have been discussed. It is obtained that in logic system D 1/2 , generalized semantic rules (1/2) + - MP, (1/2) + - HS, 1 - MP and 1 - HS are true, but generalized semantic rules 1/2-MP and are not.