Semantic Rules of Generalized Tautologies in RDP Logic System

摘要：

　　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 1/2 D,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.

关键词： RDP Logic System Generalized Tautologies Generalized Semantic MP Rule Generalized Semantic HS Rule

作者: HUI Xiaojing HAO Guoping

作者单位: College of Mathematics and Computer Science,Yanan University,Yanan 716000,China

会议类型: 国际会议

会议名称: The 33th Chinese Control Conference第33届中国控制会议

会议地点: 南京

会议语种:英文

页码: 4506-4509

在线出版日期: 2014-07-28（万方平台首次上网日期，不代表论文的发表时间）