Two types of implications derived from uninorms (Q2457029): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 09:14, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Two types of implications derived from uninorms |
scientific article |
Statements
Two types of implications derived from uninorms (English)
0 references
29 October 2007
0 references
A uninorm is a function \(U: [0, 1]\times [0, 1]\to [0, 1]\) which is associative, commutative, increasing in both variables and such that there exists an element \(e\in [0, 1]\), called the neutral element, such that \(U(e, x)= x\) for all \(x\in [0, 1]\). \(U\) becomes a t-norm if \(e=1\) and a t-conorm if \(e=0\). Thus, the theory of uninorms includes the theory of t-norms and t-conorms. A uninorm is conjunctive if \(U(1, 0)=0\) and disjunctive if \(U(1, 0)=1\). Thus, a natural question is raised, how implications can be introduced on the basis of uninorms. There are essentially two ways: QL-implications \(I_Q(x, y)= U'(N(x), U(x, y))\), where \(U\) is a conjunctive and \(U'\) a disjunctive uninorm and \(N\) is a strong negation. The second implication is D-implication defined by \(I_D(x, y)= U'(U(N(x), N(y)), y)\). The paper contains several technical results concerning the behavior of both kinds of implications in the continuous as well as in the non-continuous case, including necessary and necessary and sufficient conditions for their existence.
0 references
uninorm
0 references
QL-implication
0 references
D-implication
0 references
contraposition
0 references