Working constructively, we study continuous directed complete posets (dcpos) and the Scott topology. Our two primary novelties are a notion of intrinsic apartness sharp elements. Being apart is positive formulation being unequal, similar to how inhabitedness nonemptiness. To exemplify sharpness, note that lower real if only it located. first main result for large class dcpos, Bridges-Vita topol...

Since the inception of the notion of fuzzy topology much attention was paid to the possible means of interaction between fuzzy and crisp topological settings, in order to see whether fuzzy topology was doing anything new. In particular, different functors relating the categories Top of topological spaces and L-Top of Ltopological spaces (L being a suitable complete lattice) appeared in the lite...

This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Lukasiewicz n-valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n-valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the al...

The power set of a domain D can be seen as the function space D ! 2 of all functions in the pointwise order. One computational version thereof is the lifted lower powerdomain, which we can think of as the lattice of Scott-closed subsets or, alternatively, as the order dual of the function space D ! 2]. Therefore, logic and the ordinary power set, as well as its information-theoretic version, re...

in this paper, new definitions of $l$-fuzzy closure operator, $l$-fuzzy interior operator, $l$-fuzzy remote neighborhood system, $l$-fuzzy neighborhood system and $l$-fuzzy quasi-coincident neighborhood system are proposed. it is proved that the category of $l$-fuzzy closure spaces, the category of $l$-fuzzy interior spaces, the category of $l$-fuzzy remote neighborhood spaces, the category of ...

we show that the category of convergence approach spaces is a simultaneously reective and coreective subcategory of the category of latticevalued limit spaces. further we study the preservation of diagonal conditions, which characterize approach spaces. it is shown that the category of preapproach spaces is a simultaneously reective and coreective subcategory of the category of lattice-valued p...

This paper is devoted to the discussion of the relationship between fuzzy rough set models and fuzzy topologies on a finite universe. The (TC) axiom for fuzzy topology is proposed. It is proved that the set of all lower approximation sets based on a reflexive and transitive fuzzy relation consists of a fuzzy topology which satisfies (TC) axiom; and conversely, a fuzzy topology which obey (TC) a...

We introduce partial dcpo’s and show their some applications. A partial dcpo is a poset associated with a designated collection of directed subsets. We prove that (i) the dcpo-completion of every partial dcpo exists; (ii) for certain spaces X, the corresponding partial dcpo’s of continuous real valued functions on X are continuous partial dcpos; (iii) if a space X is Hausdorff compact, the latt...

Fuzzy topology based on interior operators is studied in the fully graded framework of Fuzzy Class Theory. Its relation to graded notions of fuzzy topology given by open sets and neighborhoods is shown.