Set constraints are inclusions between expressions denoting sets of ground terms They have been used extensively in program analysis and type inference In this paper we investigate the topological structure of the spaces of solutions to systems of set constraints We identify a family of topological spaces called rational spaces which formalize the notion of a topological space with a regular or...

In this paper the concept of finitistic spaces in L-topological spaces is introduced by means of α-Q-covers of open Lsubsets. Also a characterization of finitistic spaces in the weakly induced L-topological spaces is obtained. Moreover the behavior of finitistic spaces under various types of maps such as fuzzy perfect maps is also investigated. 48 T. Baiju and Sunil Jacob John

‎The aim of this paper is to establish the equivalence between the concepts‎ ‎of an $S$-metric space and a cone $S$-metric space using some topological‎ ‎approaches‎. ‎We introduce a new notion of a $TVS$-cone $S$-metric space using‎ ‎some facts about topological vector spaces‎. ‎We see that the known results on‎ ‎cone $S$-metric spaces (or $N$-cone metric spaces) can be directly obtained‎ from...

Various soft topologies are being introduced on a given function space soft topological spaces. In this paper, soft compact-open topology is defined in functional spaces of soft topological spaces. Further, these functional spaces are studied and interrelations between various functional spaces with soft compact-open topology are established.

Based on a complete Heyting algebra, we modify the definition of lattice-valued fuzzifying convergence space using fuzzy inclusion order and construct in this way a Cartesian-closed category, called the category of L−ordered fuzzifying convergence spaces, in which the category of L−fuzzifying topological spaces can be embedded. In addition, two new categories are introduced, which are called th...

Keywords: Double fuzzy topology Double neighborhood systems Double fuzzy preproximity Double fuzzy closure space a b s t r a c t In this paper, we introduce the notions of double neighborhood systems and double fuzzy preproximity in double fuzzy topological spaces. We used double neighborhoods to study the initial structure of double fuzzy topological spaces, and the joins between them and the ...