... dependency) are proposed It is interesting to note that the set of inference rules, which is similar to classical case [7], is sound and complete as well In order to continue, we have already begun some ... independent of Z-values We say that Yr(x) is equivalent to Yr (xz) if for every y of one, there is existing y' of the other such that y ~ y' and vice versa The fuzzy equivalence of two set Y -value (Yr ... transitivity of equivalence relation (f'::J), we get x f'::J Xl' Consider tuple tl, we found the existing of z' in (*) is pointed (let t' = td, i.e r satisfies X ~ Z (A7) If X ~ Y holds, then X ~ Y...