in this paper, using pre-semi-open l-sets and their inequality, a new notion of ps-compactness is introduced in l-topological spaces, where l is a complete de morgan algebra. this notion does not depend on the structure of the basis lattice l and l does not need any distributivity.

‎for a given measure space $(x,{mathscr b},mu)$ we construct all measure spaces $(y,{mathscr c},lambda)$ in which $(x,{mathscr b},mu)$ is embeddable‎. ‎the construction is modeled on the ultrafilter construction of the stone--v{c}ech compactification of a completely regular topological space‎. ‎under certain conditions the construction simplifies‎. ‎examples are given when this simplification o...

We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...

This is the third of three papers which develop various fundamental aspects of the theory of ditopological texture spaces and relate this work with the theory of fuzzy topological spaces. In this paper, the authors define and study basic separation axioms in general ditopological texture spaces, relating these to known separation axioms for bitopological and topological spaces, and to the point...

Topological extensions are closely related to nearness structures of various kinds. For example, the Smirnov compactification of a proximity space X is a compact Hausdorff space Y which contains X as a dense subspace and for which it is true that a pair of subsets of X is near if, and only if, their closures in Y meet. Lodato generalized this result to weaker conditions for the proximity and th...

We develop a general framework for various lattice-valued, probabilistic and approach uniform convergence spaces. To this end, we use the concept of $s$-stratified $LM$-filter, where $L$ and $M$ are suitable frames. A stratified $LMN$-uniform convergence tower is then a family of structures indexed by a quantale $N$. For different choices of $L,M$ and $N$ we obtain the lattice-valued, probabili...

Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a continuous function on it. Here we partially solve a major open problem in the field by showing (by reduction of the ω-reachability problem for lossy channel systems) that the dynamic topological logic over arbitrary top...