based on a complete heyting algebra, we modify the definition oflattice-valued fuzzifying convergence space using fuzzy inclusionorder and construct in this way a cartesian-closed category, calledthe category of $l-$ordered fuzzifying convergence spaces, in whichthe category of $l-$fuzzifying topological spaces can be embedded.in addition, two new categories are introduced, which are called the...

based on a complete heyting algebra l, the relations between lfuzzifyingconvergence spaces and l-fuzzifying topological spaces are studied.it is shown that, as a reflective subcategory, the category of l-fuzzifying topologicalspaces could be embedded in the category of l-fuzzifying convergencespaces and the latter is cartesian closed. also the specialization l-preorderof l-fuzzifying convergenc...

In this paper, we introduce closure operator(c) on Hilbert algebra H and study the properties of c. Then we state the relation between c and uniform topology on H. Mathematics Subject Classification: 03G25, 54E15

Discrete systems such as sets, monoids, groups are familiar categories. The internal strucutre of the latter two is defined by an algebraic operator. In this paper we describe the internal structure of the base set by a closure operator. We illustrate the role of such closure in convex geometries and partially ordered sets and thus suggest the wide applicability of closure systems. Next we deve...

The concepts of fuzzy θ-open (θ-closed)sets and fuzzy θ-closure operator are introduced and discussed in intuitionistic fuzzy topological spaces. As applications of these concepts, certain functions are characterized in terms of intuitionistic fuzzy θ-closure operator.

We construct a Galois connection between closure and interior operators on a given set. All arguments are intuitionistically valid. Our construction is an intuitionistic version of the classical correspondence between closure and interior operators via complement. In classical mathematics, the theory of closure operators and that of interior operators can be derived one from another. In fact, A...

Each relation induces a new closure operator, which is (in the sense of data mining) stronger than or equal to the Galois one. The goal is to give some evidence that the new closure operator is often properly stronger than the Galois one. An easy characterization of the new closure operator as a largest fixed point of an appropriate contraction map leads to a (modest) computer program. Finally,...

A pair (X, ) of a finite set X and a closure operator : 2X → 2X is called a closure space. The class of closure spaces includes matroids as well as antimatroids. Associated with a closure space (X, ), the extreme point operator ex: 2X → 2X is defined as ex(A) = {p|p ∈ A,p / ∈ (A − {p})}. We give characterizations of extreme point operators of closure spaces, matroids and antimatroids, respectiv...

The notion of a transitive closure of a fuzzy relation is very useful for clustering in pattern recognition, for fuzzy databases, etc. It is based on translating the standard definition of transitivity and transitive closure into fuzzy terms. This definition works fine, but to some extent it does not fully capture our understanding of transitivity. The reason is that this definition is based on...