## Fuzzy Galois connections.(English)Zbl 0938.03079

Recall that a (contravariant) Galois connection between two posets $$P$$ and $$Q$$ is a pair of mappings $$P@>+>>Q$$, $$Q@>->>P$$ such that $$a\leq b^-\Leftrightarrow b\leq a^+$$. The standard example is the polarity associated with a relation $$\rho\subseteq X\times Y$$, i.e., the Galois connection between $$\mathbf{2}^X$$ and $$\mathbf{2}^Y$$ defined by $$A^+= \{y\in Y\mid x\rho y$$ $$\forall x\in A\}$$ and $$B^-= \{x\in X\mid x\rho y$$ $$\forall y\in B\}$$. Further, let $$(L;\wedge,\vee, 0,1,\rightarrow)$$ be a complete residuated lattice. The author defines a fuzzy Galois connection between two fuzzy sets $$L^X$$ and $$L^Y$$ as a pair of mappings $$L^X@>+>> L^Y$$, $$L^Y@>->>L^X$$ such that $$\text{Subs}(A,B^-)= \text{Subs}(B, A^+)$$, where the subsethood degree $$\text{Subs}(A_1,A_2)$$ is defined by $$\text{Subs}(A_1,A_2)= \inf\{A_1(x)\to A_2(x)\mid x\in X\}$$. Furthermore, the fuzzy polarity associated with a fuzzy relation $$R\in L^{X\times Y}$$ is defined by $$A^+(y)= \inf\{A(x)\to R(x,y)\mid x\in X\}$$ and $$B^-(x)= \inf\{B(y)\to R(x,y)\mid y\in Y\}$$. The main result of the paper is a bijection between fuzzy Galois connections and fuzzy relations, such that every fuzzy Galois connection is the fuzzy polarity determined by the associated fuzzy relation, and every fuzzy relation is associated with a fuzzy Galois connection in the way indicated above. This generalizes a theorem of Ore on Galois connections.
Remark: The author has informed the reviewer that the formula on page 498, line 22, should read $$\{a/x\}(x')= 0$$.

### MSC:

 03E72 Theory of fuzzy sets, etc. 06A15 Galois correspondences, closure operators (in relation to ordered sets)
Full Text:

### References:

  Birkhoff, Amer. Math. Soc. Coll. Publ. 25, in: Lattice Theory (1967)  Blyth, Residuation Theory (1972)  Cignoli , R. I. M. L. , D’OCTAVIANO D. Mundici Algebraic Foundations of Manyvalued Reasoning  Goguen, L-fuzzy sets, J. Math. Anal. Appl. 18 pp 145– (1967) · Zbl 0145.24404  Goguen, The logic of inexact concepts, Synthese 19 pp 325– (1968/69) · Zbl 0184.00903  HáJEK, Metamathematics of Fuzzy Logic (1998) · Zbl 0937.03030  HöHLE, On the fundamentals of fuzzy set theory, J. Math. Anal. Appl. 201 pp 786– (1996) · Zbl 0860.03038  MoČKOŘ , J. V. , NovÁK I. Perfileva Mathematical Principles of Fuzzy Logic Kluwer Scientific Publ. Dordrecht  Ore, Galois connexions, Trans. Amer Math. Soc. 55 pp 493– (1944)  Pavelka, On fuzzy logic I, II, III, Zeitschrift Math. Logik Grundlagen Math. 25 pp 45– (1979)  Turunen, Well-defined fuzzy sentential logic, Math. Log. Quart. 41 pp 236– (1995) · Zbl 0829.03011  Ward, Residuated lattices, Trans. Amer. Math. Soc. 45 pp 335– (1939) · JFM 65.0084.01  Wille, Ordered Sets pp 445– (1982)  Zadeh, Fuzzy sets, Information and Control 8 pp 338– (1965) · Zbl 0139.24606
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.