Non-commutative fuzzy Galois connections
- George Georgescu and Andrei Popescu
- Soft Comput. 7(7): 458-467 (2003)
- Abstract. Fuzzy Galois connections were introduced by Bělohlávek in . The structure considered there for the set of truth values is a complete residuated lattice, which places the discussion in a “commutative fuzzy world”. What we are doing in this paper is dropping down the commutativity, getting the corresponding notion of Galois connection and generalizing some results obtained by Bělohlávek in  and . The lack of the commutative law in the structure of truth values makes it appropriate for dealing with a sentences conjunction where the order between the terms of the conjunction counts, gaining thus a temporal dimension for the statements. In this “non-commutative world”, we have not one, but two implications (). As a consequence, a Galois connection will not be a pair, but a quadruple of functions, which is in fact two pairs of functions, each function being in a symmetric situation to his pair. Stating that these two pairs are compatible in some sense, we get the notion of strong L-Galois connection, a more operative and prolific notion, repairing the “damage” done by non-commutativity.