On the distributivity of fuzzy implications over continuous and Archimedean triangular conorms
type: Item
instance of: scholarly article
title: On the distributivity of fuzzy implications over continuous and Archimedean triangular conorms
zbMATH Open document ID: 1204.03029
author: Michał Baczyński
published in: Fuzzy Sets and Systems
publication date: 2010-05-07T00:00:00Z
review text: This paper essentially proposes a mild generalization of the distributive functional equation \[ I((x,S_1(y,z))=S_2(I(x,y),I(x,z)),\quad x,y,z\in\,[0,1], \] where \(I\) is any function and \(S_1,S_2\) are t-conorms, already solved when \(S_1\) and \(S_2\) are both strict or both nilpotent, to the case when one is strict and the other one nilpotent. Section 2 contains only basic notations and definitions. The investigation is conducted in the same style as in the cited work numbered [6], exploiting some results, contained in Section 3, pertaining to the famous, additive Cauchy functional equation. Some remarks should be made with regard to the proof of Proposition 3.4: third line of this proof, page 1409, ``both sides of (5)'' instead of ``both sides of (6)'' and ``there exists \(x_1\in\,\,]x_0,x]\)'' instead of ``there exists \(x_1\in\,[x_0,x]\)'' on page 1410, just after formula (11), but mostly a passage is wrong, in the case \(x_0=\infty\), which begins seven lines from the bottom of page 1410. In fact, to cover this case, the author invokes Theorem 3.3, with \(a=x_0\), but in this theorem \(a\) is explicitly assumed to be a real, finite, positive number and not \(\infty\). I suppose that the proof should work in the following way: we show that, if \(x_0=\infty\), then \(f(x)=0\) for all \(x\geq 0\). If not, let \(x_1\) be a positive number such that \(0<f(x_1)<b\). Then, \(f(2x_1)=\min\{f(x_1)+f(x_1),b\}<b\) (note that \(f(2x_1)=b\) is incompatible with the nature of \(x_0\)), hence \(2f(x_1)<b\) and, by induction, we easily get \(nf(x_1)<b\) for any \(n\in \mathbb N\) which clearly contradicts \(f(x_1)>0\).
reviewed by: Roberto Ghiselli Ricci
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03E72
Mathematics Subject Classification ID: 39B52
zbMATH DE Number: 5705389
zbMATH Keywords: fuzzy connectives
zbMATH Keywords: fuzzy implication
zbMATH Keywords: functional equations
zbMATH Keywords: t-conorms
MaRDI profile type: Publication
full work available at URL: j.fss.2009.12.001
OpenAlex ID: W2070921887
cites work: Q5514010
cites work: ON A CLASS OF DISTRIBUTIVE FUZZY IMPLICATIONS
cites work: CONTRAPOSITIVE SYMMETRY OF DISTRIBUTIVE FUZZY IMPLICATIONS
cites work: On the characterizations of \((S,N)\)-implications
cites work: Automorphisms, negations and implication operators
cites work: Construction of fuzzy indices from fuzzy DI-subsethood measures: application to the global comparison of images
cites work: THE FUNDAMENTALS OF FUZZY MATHEMATICAL MORPHOLOGY PART 1: BASIC CONCEPTS
cites work: THE FUNDAMENTALS OF FUZZY MATHEMATICAL MORPHOLOGY PART 2: IDEMPOTENCE, CONVEXITY AND DECOMPOSITION
cites work: Q4315286
cites work: A treatise on many-valued logics
cites work: Q4315285
cites work: Triangular norms
cites work: Q3218572
cites work: Q5511448
cites work: Q5389878
cites work: Distributivity of residual implications over conjunctive and disjunctive uninorms
cites work: Q3336431
cites work: On some new classes of implication operators and their role in approximate reasoning
DOI: 10.1016/J.FSS.2009.12.001
description: scientific article; zbMATH DE number 5705389