Recall that a (contravariant) Galois connection between two posets and is a pair of mappings , such that . The standard example is the polarity associated with a relation , i.e., the Galois connection between and defined by and . Further, let be a complete residuated lattice. The author defines a fuzzy Galois connection between two fuzzy sets and as a pair of mappings , such that , where the subsethood degree is defined by . Furthermore, the fuzzy polarity associated with a fuzzy relation is defined by and . 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 .