(S,N)-coimplication properties and their equivalent characterizations
As a generalization of implication in Boolean logic,there are abundant achievements in the construction and equivalent characterization of fuzzy implication,but there are few studies on the dual operator fuzzy coimplica-tion of fuzzy implication.The(S,N)-coimplication is constructed by means of triangular conorm S and fuzzy nega-tion N,and then several properties of(S,N)-coimplication including input law and the equivalent characterization of((JS,N)φ,S)satisfy the equivalent characterization of the input rule LI.Finally,equivalent characterizations of(S,N)-coimplication are given.The results improve the fuzzy implication theory.