Class of Normal Implication and Its Derived Operator
Wei Mei-li · Science Technology and Engineering · 2009
The properties of some implication operators are investigated.The following results are obtained.The implication operator whose adjoint pairs is a triangle norm,is a normal implication.If a normal implication's adjoint pairs is a triangle norm,then its derived operator is itself.The derived operator of a regular implication operator is itself.These results are useful to establish sentantic theory on many valued logic.