Regular Operator Implication of the Unify an Expression Type
Xingfang Zhang · Journal of Dezhou University · 2009
Firstly,the definition of regular operator implication simplified;secongly,proving operator implication to having regularity and have residua t-norm isequivalence;finally,we give the unity an expression type of regular operatorimplication.