Closure operators, fuzzy logic and constraints