it is well known fact that binary relations are generalized mathematical functions. contrary to functions from domain to range, binary relations may assign to each element of domain two or more elements of range. some basic operations on functions such as the inverse and composition are applicable to binary relations as well. depending on the domain or range or both are fuzzy value fuzzy set, i...

It is well known fact that binary relations are generalized mathematical functions. Contrary to functions from domain to range, binary relations may assign to each element of domain two or more elements of range. Some basic operations on functions such as the inverse and composition are applicable to binary relations as well. Depending on the domain or range or both are fuzzy value fuzzy set, i...

Galois connection in crisp binary relations has proved to be useful for several applications in computer science. Unfortunately, data is not always presented as a crisp binary relation but may be composed of fuzzy values, thus forming a fuzzy binary relation. This paper aims at defining the notion of fuzzy galois connection corresponding to a fuzzy binary relation in two steps: firstly by defin...

In this paper, we introduce the notion of {bf K}-flat projective fuzzy quantales, and give an elementary characterization in terms of a fuzzy binary relation on the fuzzy quantale. Moreover, we  prove that {bf K}-flat projective fuzzy quantales are precisely the coalgebras for a certain comonad on the category of fuzzy quantales. Finally, we present two special cases of {bf K} as examples.

fuzzy relation inequalities based on max-f composition are discussed, where f is a binary aggregation on [0,1]. for a fixed fuzzy relation inequalities system $ a circ^{f}textbf{x}leqtextbf{b}$, we characterize all matrices $ a^{'} $ for which the solution set of the system $ a^{' } circ^{f}textbf{x}leqtextbf{b}$ is the same as the original solution set. similarly, for a fixed matrix ...

The starting point of the paper is the (well-known)observation that the “classical” Rough Set Theory as introduced by PAWLAK is equivalent to the S5 Propositional Modal Logic where the reachability relation is an equivalence relation. By replacing this equivalence relation by an arbitrary binary relation (satisfying certain properties, for instance, reflexivity and transitivity) we shall obtain...

The property of transitivity is one of the most important for fuzzy binary relations, especially in the cases when they are used for the representation of real life similarity or ordering information. As far as the algorithmic part of the actual calculation of the transitive closure of such relations is concerned, works in the literature mainly focus on crisp symmetric relations, paying little ...

In this paper, we present a general framework for the study of interval type-2 rough fuzzy sets by using both constructive and axiomatic approaches. First, several concepts and properties of interval type-2 fuzzy sets are introduced. Then, a pair of lower and upper interval type-2 rough fuzzy approximation operators with respect to a crisp binary relation is proposed. Classical representations ...

Fuzzy relation inequalities based on max-F composition are discussed, where F is a binary aggregation on [0,1]. For a fixed fuzzy relation inequalities system $ A circ^{F}textbf{x}leqtextbf{b}$, we characterize all matrices $ A^{'} $ For which the solution set of the system $ A^{' } circ^{F}textbf{x}leqtextbf{b}$ is the same as the original solution set. Similarly, for a fixed matrix $ A $, the...

Looking at decisiveness as crucial, we discuss the existence of an order-preserving function for the nontotal crisp preference relation naturally associated to a nontotal fuzzy preference relation. We further present conditions for the existence of an upper semicontinuous order-preserving function for a fuzzy binary relation on a crisp topological space.