Yager’s new class of implications Jf and some classical tautologies |
| |
Authors: | J Balasubramaniam |
| |
Affiliation: | Department of Mathematics and Computer Sciences, Sri Sathya Sai Institute of Higher Learning, Prasanthi Nilayam, Puttaparthi, AP 515 134, India |
| |
Abstract: | Recently, Yager R. Yager, On some new classes of implication operators and their role in approximate reasoning, Information Sciences 167 (2004) 193-216] has introduced a new class of fuzzy implications, denoted Jf, called the f-generated implications and has discussed some of their desirable properties, such as neutrality, exchange principle, etc. In this work, we discuss the class of Jf implications with respect to three classical logic tautologies, viz., distributivity, law of importation and contrapositive symmetry. Necessary and sufficient conditions under which Jf implications are distributive over t-norms and t-conorms and satisfy the law of importation with respect to a t-norm have been presented. Since the natural negations of Jf implications, given by NJf(x)=Jf(x,0), in general, are not strong, we give sufficient conditions under which they become strong and possess contrapositive symmetry with respect to their natural negations. When the natural negations of Jf are not strong, we discuss the contrapositivisation of Jf. Along the lines of Jf implications, a new class of implications called h-generated implications, Jh, has been proposed and the interplay between these two types of implications has been discussed. Notably, it is shown that while the natural negations of Jf are non-filling those of Jh are non-vanishing, properties which determine the compatibility of a contrapositivisation technique. |
| |
Keywords: | Yager&rsquo s Implications f-Generated implications Distributivity of fuzzy implications Law of importation Contrapositive symmetry Contrapositivisation h-Generated implications |
本文献已被 ScienceDirect 等数据库收录! |
|