Fuzzy Sets and Systems 161 (2010) 412-432 Elsevier www.elsevier.com/locate/fss A Categorical Semantics for Fuzzy Predicate Logic

does not satisfy (EP), because for x = 0.3, y = 0.5 and z = 0.5 we get I (x, I (y, z)) = 0.7 = 0.5 = I (y, I (x, z)). The corrected last two rows are provided in Table 1 here. In both of these cases the natural negation NI is the classical negation NC(x) = 1 − x. One can easily check that the first function satisfies (I1) and it does not satisfy (EP), because for x = 0.3, y = 1 and z = 0, we ge...

In this work we solve an open problem of U.Höhle [Problem 11, Fuzzy Sets and Systems 145 (2004) 471-479]. We show that the solution gives a characterization of all conditionally cancellative t-subnorms. Further, we give an equivalence condition for a conditionally cancellativite t-subnorm to be a t-norm and hence show that conditionally cancellativite t-subnorms whose natural negations are stro...

and Applied Analysis 3 The evolution system R t, s is said to be equicontinuous if for all bounded set Q ⊂ X, {s → R t, s x : x ∈ Q} is equicontinuous for t > 0. x ∈ C −q, b , X is said to be a mild solution of the nonlocal problem 1.1 , if x t φ t g x t for t ∈ −q, 0 , and, for t ∈ J , it satisfies the following integral equation: x t R t, 0 [ φ 0 g x 0 ] ∫ t 0 R t, s f ( s, xs, ∫ s 0 K s, r, ...