We show how two general notions of domain theory, the logic induced from the Scott topology on a domain, together with the Smyth powerdomain, interact with the theory of default reasoning introduced by Reiter 19]. We deene extensions, which are xed points of a certain non-monotonic operator on a Scott domain induced by a normal default set over that domain. We specialize this deenition to the S...

We show how two general notions of domain theory, the logic induced from the Scott topology on a domain, together with the Smyth powerdomain, interact with the theory of default reasoning introduced by Reiter 19]. We deene extensions, which are xed points of a certain non-monotonic operator on a Scott domain induced by a normal default set over that domain. We specialize this deenition to the S...

The present paper investigates the relations between fuzzifying topologies and generalized ideals of fuzzy subsets, as well as constructing generalized ideals and fuzzifying topologies by means of fuzzy preorders. Furthermore, a construction of generalized ideals from preideals, and vice versa, is obtained. As a particular consequence of the results in this paper, a construction of fuzzifying t...

Both preorders and ordinary ultrametric spaces are instances of generalized ul-trametric spaces. Every generalized ultrametric space can be isometrically embedded in a (complete) function space by means of an ultrametric version of the categorical Yoneda Lemma. This simple fact gives naturally rise to: 1. a topology for generalized ultrametric spaces which for arbitrary preorders corresponds to...

The minimum barrier (MB) distance is defined as the minimal interval of gray-level values in an image along a path between two points, where the image is considered as a vertex-valued graph. Yet this definition does not fit with the interpretation of an image as an elevation map, i.e. a somehow continuous landscape. In this paper, based on the discrete set-valued continuity setting, we present ...

We introduce in this paper a notion of continuity in digital spaces which extends the usual notion of digital continuity. Our approach uses multivalued maps. We show how the multivalued approach provides a better framework to define topological notions, like retractions, in a far more realistic way than by using just single-valued digitally continuous functions. In particular, we characterize t...

In this paper, we define and study fuzzy generalized α-closed sets and r-open sets of a given L-fuzzy topological space and prime element r ∈ P (L) and coprime element α ∈ M(L). The concept of L-fuzzy ropen sets was introduced in [10], and it was proved that all r-open sets for L-fuzzy topological space form a new L-fuzzy topology, which is called stratiform L-fuzzy topology. Making use of the ...

Generalized metric spaces are a common generalization of preorders and ordinary metric spaces. Every generalized metric space can be isometrically embedded in a complete function space by means of a metric version of the categorical Yoneda embedding. This simple fact gives naturally rise to: 1. a topology for generalized metric spaces which for arbitrary preorders corresponds to the Alexandroo ...

This paper presents, by means of Alexandrov topology for fuzzy preordered sets and specialization order for fuzzy topological spaces, a systematic investigation of the interrelationship between fuzzy preordered sets, topological spaces, and fuzzy topological spaces. © 2006 Elsevier B.V. All rights reserved.

We introduce two new topologies on ordered sets: the way below topology and weakly way below topology. These are similar in definition to the Scott topology, but are very different if the set is not continuous. The basic properties of these three topologies are compared. We will show that while domain representable spaces must be Baire, this is not the case with the new topologies.