DocumentCode
231822
Title
Semantic rules of generalized tautologies in RDP logic system
Author
Hui Xiaojing ; Hao Guoping
Author_Institution
Coll. of Math. & Comput. Sci., Yan´an Univ., Yan´an, China
fYear
2014
fDate
28-30 July 2014
Firstpage
4506
Lastpage
4509
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 D1/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.
Keywords
fuzzy logic; fuzzy set theory; RDP logic system; generalized semantic HS rule; generalized semantic MP rule; generalized tautologies; revised Kleene logic system; Algebra; Educational institutions; Fuzzy logic; Fuzzy systems; High definition video; Semantics; Generalized Semantic HS Rule; Generalized Semantic MP Rule; Generalized Tautologies; RDP Logic System;
fLanguage
English
Publisher
ieee
Conference_Titel
Control Conference (CCC), 2014 33rd Chinese
Conference_Location
Nanjing
Type
conf
DOI
10.1109/ChiCC.2014.6895696
Filename
6895696
Link To Document