Residual implications derived from uninorms satisfying Modus Ponens
نویسندگان
چکیده
Modus Ponens is a key property for fuzzy implication functions that are going to be used in fuzzy inference processes. In this paper it is investigated when fuzzy implication functions derived from uninorms via residuation, usually called RU implications, satisfy the modus ponens with respect to a continuous t-norm T , or equivalently, when they are T -conditionals. For RU -implications it is proved that T -conditionality only depends on the underlying t-norm TU of the uninorm U used to derive the residual implication and this fact leads to a lot of new solutions of the Modus Ponens property. Along the paper the particular cases when the uninorm lies in any of the most usual classes of uninorms are considered.
منابع مشابه
On the joint verification of Modus Ponens and Modus Tollens in fuzzy logic
This paper deals with the joint verification of the inequalities of Modus Ponens and Modus Tollens in Fuzzy Logic. Although the case of Modus Ponens was partially considered before, the case of Modus Tollens and the joint satisfaction of both inequalities are studied by the first time. The cases of R-implications, Simplications, Q-implications and MamdaniLarsen implications are separatedly cons...
متن کاملMP and MT-implications on a Finite Scale
This paper is devoted to the study of discrete implications that satisfy modus ponens (MP), modus tollens (MT) or both (MPT). The main goal is to characterize all R, S, QL and D-implications on a finite chain L satisfying these properties for a given smooth t-norm T1. The non-smooth case is also discussed for a special family of t-norms.
متن کاملImplications, coimplications and left semi-uninorms on a complete lattice
In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...
متن کاملOn MPT-implication functions for Fuzzy Logic
This paper deals with numerical functions able to functionally express operators defined as , and verifying either Modus Ponens or Modus Tollens, or both. The concrete goal of the paper is to search for continuous t-norms and strong-negation functions for which it is either (Modus Ponens), or (Modus Tollens), or both, for all in and a given . Functions are taken among those in the most usual fa...
متن کاملHuman reasoning with imprecise probabilities: Modus ponens and denying the antecedent
The modus ponens (A → B, A ∴ B) is, along with modus tollens and the two logically not valid counterparts denying the antecedent (A → B,¬A ∴ ¬B) and affirming the consequent, the argument form that was most often investigated in the psychology of human reasoning. The present contribution reports the results of three experiments on the probabilistic versions of modus ponens and denying the antec...
متن کامل