There are examples of algorithms which allow the e cient computation of the concepts of a given formal context. However, when one wants to apply those algorithms to an arbitrary closure operator, which might not be given by a formal context, those algorithms cannot be applied directly. Therefore we want to discuss the problem of nding an appropriate formal context for a given closure operator, ...

In this paper, some characterizations of fuzzifying strong compactness are given, including characterizations in terms of nets and pre -subbases. Several characterizations of locally strong compactness in the framework of fuzzifying topology are introduced and the mapping theorems are obtained.

This paper introduces a new class of fuzzy closure operators called implicative closure operators, which generalize some notions of fuzzy closure operators already introduced by different authors. We show that implicative closure operators capture some usual consequence relations used in Approximate Reasoning, like Chakraborty s graded consequence relation, Castro et al. s fuzzy consequence rel...

For any ordered set P, the join dense completions of P form a complete lattice K(P) with least element O(P), the lattice of order ideals of P, and greatest element M(P), the Dedekind-MacNeille completion of P. The lattice K(P) is isomorphic to an ideal of the lattice of all closure operators on the lattice O(P). Thus it inherits some local structural properties which hold in the lattice of clos...

Torsion theories are here extended to categories equipped with an ideal of 'null morphisms', or equivalently a full subcategory of 'null objects'. Instances of this extension include closure operators viewed as generalised torsion theories in a 'category of pairs', and factorization systems viewed as torsion theories in a category of morphisms. The first point has essentially been treated in [15].

For any ordered set P, the join dense completions of P form a complete lattice K(P) with least element O(P), the lattice of order ideals of P, and greatest element M(P), the Dedekind-MacNeille completion of P. The latticeK(P) is isomorphic to an ideal of the lattice of all closure operators on the lattice O(P). Thus it inherits some local structural properties which hold in the lattice of closu...

Certain basic concepts of geometrical stability theory are generalized to a class of closure operators containing algebraic closure. A specific case of a generalized closure operator is developed which is relevant to Vaught’s conjecture. As an application of the methods, we prove Theorem A. Let G be a superstable group of U− rank ω such that the generics of G are locally modular and Th(G) has f...

A new so-called fuzzifying measurable theory that generalizes the classical measurable theory is established and the structures of such new theory are discussed very detailed. In the last, we study the product of two fuzzifying measures and consider a problem, which is like the third of the open problems in fuzzy measure presented by Z. Wang. We have solved this problem satisfactorily in the ne...

The generalization of binary operation in the classical algebra to fuzzy is an important development field algebra. paper proposes a new vector spaces over field, which called M-hazy field. Some fundamental properties spaces, and subspaces are studied, some results also proved. Furthermore, linear transformation studied their Finally, it shown that M-fuzzifying convex induced by subspace space.