Fuzzy Galois Connections

The concept of Galois connection between power sets is generalized from the point of view of fuzzy logic. Studied is the case where the structure of truth values forms a complete residuated lattice. It is proved that fuzzy Galois connections are in one-to-one correspondence with binary fuzzy relations. A representation of fuzzy Galois connections by (classical) Galois connections is provided.

[1]  J. Goguen.  L-fuzzy sets , 1967 .

[2]  Esko Turunen,et al.  Well-Defined Fuzzy Sentential Logic , 1995, Math. Log. Q..

[3]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[4]  V. Novák,et al.  Mathematical Principles of Fuzzy Logic , 1999 .

[5]  U. Höhle.  On the Fundamentals of Fuzzy Set Theory , 1996 .

[6]  Emil Popescu,et al.  On Galois Connexions , 1994 .

[7]  Jan Pavelka,et al.  On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[8]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.