A note on the extension principle (Q1583965): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Similarity relations in concept lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: L-fuzzy sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Metamathematics of fuzzy logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the fundamentals of fuzzy set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The concept of a linguistic variable and its application to approximate reasoning. I / rank | |||
Normal rank |
Latest revision as of 17:02, 30 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on the extension principle |
scientific article |
Statements
A note on the extension principle (English)
0 references
26 July 2001
0 references
Let \(\langle L,\otimes,\to\rangle\) be a complete residuated lattice, i.e., \(L\) is complete, \(\langle L,\otimes\rangle\) is a commutative monoid (with the unit being the top element of \(L\)), and \(\otimes\) and \(\to\) satisfy the property: \(x\leq y\to z\) iff \(x\otimes y\leq z\). Given a map \(f: X\to Y\) one has a powerset operator \(f^\rightarrow: L^X\to L^Y\) defined by \(f^\rightarrow(a)(y)= \bigvee\{a(x): f(x)= y\}\) for every \(a\in L^X\) and \(y\in Y\). A map \(E_X= E: X\times X\to L\) is called a similarity relation if \(E\) is symmetric, \(E(x,x)= 1\), and \(E(x,y)\otimes E(y,z)\leq E(x,z)\) for all \(x,y,z\in X\). The author shows that \(E_X(a,b)\leq E_Y(f^\rightarrow(a), f^\rightarrow(b))\) for all \(a,b\in L^X\). A similar result arising from a map \(f: X_1\times\cdots\times X_n\to Y\) is also given.
0 references
extension principle
0 references
fuzzy set
0 references
similarity relation
0 references