The paper sets forth in detail categorically-algebraic or catalg foundations for the operations of taking the image and preimage of (fuzzy) sets called forward and backward powerset operators. Motivated by an open question of S. E. Rodabaugh, we construct a monad on the category of sets, the algebras of which generate the fixed-basis forward powerset operator of L. A. Zadeh. On the next step, w...

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...

The aim of this paper is to introduce the concept of fuzzy generalized closed set and study its properties. Secondly the concept of infra L-fuzzy topological space is introduced. Making use of fuzzy -closed sets and fuzzy -generalized closed sets the concept of fuzzy -generalized continuous mapping is introduced. Lastly the concept of fuzzy generalized closed irresolute map in L-fuzzy topologic...

The aim of this paper is to introduce a new notion of L-fuzzy compactness in L-fuzzy topological spaces, which is a generalization of Lowen’s fuzzy compactness in L-topological spaces. The union of two L-fuzzy compact L-sets is L-fuzzy compact. The intersection of an L-fuzzy compact L-set G and an L-set H with T(H) = ⊤ is L-fuzzy compact. The L-fuzzy continuous image of an L-fuzzy compact L-set...

in this paper, a new definition of fuzzy bounded sets and totallyfuzzy bounded sets is introduced and properties of such sets are studied. thena relation between totally fuzzy bounded sets and n-compactness is discussed.finally, a geometric characterization for fuzzy totally bounded sets in i- topologicalvector spaces is derived.

In this paper, we first characterize the convex $L$-subgroup of an $L$-ordered group by means of fourkinds of cut sets of an $L$-subset. Then we consider the homomorphic preimages and the product of convex $L$-subgroups.After that, we introduce an $L$-convex structure constructed by convex $L$-subgroups.Furthermore, the notion of the degree to which an $L$-subset of an $L$-ord...

We introduce the concept of the intuitionistic fuzzy proximity as a generalization of fuzzy proximity, and investigate its properties. Also we investigate the relationship among intu-itionistic fuzzy proximity and fuzzy proximity, and intuitionistic fuzzy topology. 1. Introduction. As a generalization of fuzzy sets, the concept of intuitionistic fuzzy sets was introduced by Atanassov [1]. Recen...

An orthogonal approach to the fuzzification of both multisets and hybridsets is presented. In particular, we introduce $L$-multi-fuzzy and$L$-fuzzy hybrid sets, which are general enough and in spirit with thebasic concepts of fuzzy set theory. In addition, we study the properties ofthese structures. Also, the usefulness of these structures is examined inthe framework of mechanical multiset proc...