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

We study a relationship between logic and computation via concurrent constraint programming. In previous papers it has been shown how a simple language for specifying asynchronous concurrent processes can be interpreted in terms of constraints. In the present paper we show that the programming interpretation via closure operators is intimately related to the logic of the constraints. More preci...

the main purpose of this paper is to introduce a concept of$l$-fuzzifying topological groups (here $l$ is a completelydistributive lattice) and discuss some of their basic properties andthe structures. we prove that its corresponding $l$-fuzzifyingneighborhood structure is translation invariant. a characterizationof such topological groups in terms of the corresponding$l$-fuzzifying neighborhoo...

let $varphi(z)=z^m, z in mathbb{u}$, for some positive integer $m$, and $c_varphi$ be the composition operator on the bergman space $mathcal{a}^2$ induced by $varphi$. in this article, we completely determine the point spectrum, spectrum, essential spectrum, and essential norm of the operators $c^*_varphi c_varphi, c_varphi c^*_varphi$ as well as self-commutator and anti-self-commutators of $c_...

A general notion of connectedness with respect to a closure operator on an arbitrary category X is used to produce some connectedness notions in the category of fuzzy topological spaces. All these notions turn out to be connectednesses in the sense of Preuß. Some already existing notions of connectedness in the category of fuzzy topological spaces are obtained as special cases of ours.

Résumé. Une légère modification de la notion de compacité relativement à un opérateur de fermeture permet d’étendre à la catégorie TOP des espaces topologiques divers résultats sur les opérateurs de fermeture réguliers obtenus pour la catégorie AB des groups abéliens. Ainsi les épimorphismes dans les sous-catégories des objets compacts ou compactsséparés pour un opérateur de fermeture régulier ...

It is widely known that closure operators on finite sets can be represented by sets of implications (also known as inclusion dependencies) as well as by formal contexts. In this paper we survey known results and present new findings concerning time and space requirements of diverse tasks for managing closure operators, given in contextual, implicational, or black-box representation. These tasks...

The connection between similarity logic and the theory of closure operators is examined. Indeed one proves that the consequence relation defined in [14] can be obtained by composing two closure operators and that the resulting operator is still a closure operator. Also, we extend any similarity into a similarity which is compatible with the logical equivalence, and we prove that this gives the ...

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