There are two main approaches to obtaining “topological” cartesian-closed categories. Under one approach, one restricts to a full subcategory of topological spaces that happens to be cartesian closed — for example, the category of sequential spaces. Under the other, one generalises the notion of space — for example, to Scott’s notion of equilogical space. In this paper we show that the two appr...

We introduce a new topological semantics for belief logics in which the belief modality is interpreted as the interior of the closure of the interior operator. We show that the system wKD45, a weakened version of KD45, is sound and complete w.r.t. the class of all topological spaces. Moreover, we point out a problem regarding updates on extremally disconnected spaces that appears in the setting...

In this paper, we introduce and characterize fuzzy wea-kly $e$-closed functions in fuzzy topological spaces and the relationship between these mappings and some properties of them are investigated.

Rough set theory is a powerful mathematical tool for dealing with inexact, uncertain or vague information. The core concept of rough set theory are information systems and approximation operators of approximation spaces. In this paper, we study the relationships between mset relations and mset topology. Moreover, this paper concerns generalized mset approximation spaces via topological methods ...

Topological sequential spaces are the fixed points of a Galois correspondence between collections of open sets and sequential convergence structures. The same procedure can be followed replacing open sets by other topological concepts, such as closure operators or (ultra)filter convergences. The fixed points of these other Galois correspondences are not topological spaces in general, but they c...

The aim of this paper is to introduce a further generalization of compactness in generalized topological spaces. We define and study the concept of Dμ-compact spaces in generalized topological spaces. A space(X, μ) is Dμ-compact if every Dμ-cover of X has a finite Dμ-sub cover. Basic properties and characterizations of Dμ-compact space are established. Dμ-compactness in subspaces, products of g...

ـــــ In [25], we introduce the notion of r-fuzzy neighborhood filters in smooth topological spaces in sense of Gähler [10], and used it to define and study separation axioms , = , , . Here we continue our study of the axioms of separation in smooth topological spaces. Therefore, we introduce the notion of r-fuzzy neighborhood filter at a set. Then by using this notion we define and study separ...

Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dynamics; and temporal logic. In the topological semantics for S4, 2 is interpreted as topological interior: thus S4 can be understood as the logic of topological spaces. Topological dynamics studies the asymptotic prope...

For a quantale V, the category V-Top of V-valued topological spaces may be introduced as a full subcategory of those V-valued closure spaces whose closure operation preserves finite joins. In generalization of Barr’s characterization of topological spaces as the lax algebras of a lax extension of the ultrafilter monad from maps to relations of sets, for V completely distributive, V-topological ...