On a Generalization of the Modus Ponens: U-conditionality
In fuzzy logic, the Modus Ponens property for fuzzy implication functions is usually considered with respect to a continuous t-norm T and for this reason this property is also known under the name of T-conditionality. In this paper, the t-norm T is substituted by a uninorm U leading to the property of U-conditionality. The new property is studied in detail and it is shown that usual implications derived from t-norms and t-conorms do not satisfy it, but many solutions appear among those implications derived from uninorms. In particular, the case of residual implications derived from uninorms or RU-implications is investigated in detail for some classes of uninorms.
KeywordsFuzzy implication function Modus ponens t-norm Uninorm Natural negation
This paper has been partially supported by the Spanish grant TIN2013-42795-P.
- 14.Mas, M., Monserrat, M., Ruiz-Aguilera, D., Torrens, J.: Residual implications derived from uninorms satisfying the Modus Ponens. In: IFSA-EUSFLAT-2015, pp. 233–240. Atlantis Press, Gijón (2015)Google Scholar
- 15.Mas, M., Monserrat, M., Ruiz-Aguilera, D., Torrens, J.: \(RU\) and \((U, N)\)-implications satisfying Modus Ponens. International Journal of Approximate Reasoning. In press. doi: 10.1016/j.ijar.2016.01.003
- 29.Trillas, E., Valverde, L.: On Modus Ponens in fuzzy logic. In: 15th International Symposium on Multiple-Valued Logic, pp. 294–301. Kingston, Canada (1985)Google Scholar