We discuss the domain-theoretic and topological content of the operator calculus used in the Irish School of the Vienna Development Method (VDM♣) of formal systems development. Thus, we examine the Scott continuity, or otherwise, of the basic operators used in this calculus when viewed as operators on the domain (X → Y ) of partial functions mapping X into Y . It turns out that the override, on...

We construct a complete lattice Z such that the binary supremum function sup : Z × Z → Z is discontinuous with respect to the product topology on Z × Z of the Scott topologies on each copy of Z. In addition, we show that bounded completeness of a complete lattice Z is in general not inherited by the dcpo C(X,Z) of continuous functions from X to Z where X may be any topological space and where o...

In this paper we show that a variation of a technique of Mǐskin and Tall yields a cocompact completely regular Moore space that is Scott-domain-representable and has a closed Gδ-subspace that is not Scott-domain-representable. This clarifies the general topology of Scott-domain-representable spaces and raises additional questions about Scott-domain representability in Moore spaces. 2000 AMS Cla...

We introduce the concept of the intuitionistic fuzzy proximity as a generalization of fuzzy proximity, and investigate its properties. Also we investigate the relationship among intu-itionistic fuzzy proximity and fuzzy proximity, and intuitionistic fuzzy topology. 1. Introduction. As a generalization of fuzzy sets, the concept of intuitionistic fuzzy sets was introduced by Atanassov [1]. Recen...

network sensors consist of sensor nodes in which every node covers a limited area. the most common use ofthese networks is in unreachable fields.sink is a node that collects data from other nodes.one of the main challenges in these networks is the limitation of nodes battery (power supply). therefore, the use oftopology control is required to decrease power consumption and increase network acce...

We show that the Kantorovich-Rubinstein quasi-metrics dKR and dKRa of Part I extend naturally to various spaces previsions, in particular not just linear previsions (roughly, measures) I. There are natural isomorphisms between Hoare Smyth powerdomains, as used denotational semantics, discrete sublinear normalized superlinear respectively. Turning corresponding hyperspaces, namely same but equip...

The purpose of this paper is to introduce the concept of soft double fuzzy semi-topogenous order. Firstly, we give the definition of soft double fuzzy semi-topogenous order. Secondly, we induce a soft double fuzzy topology from a given soft double fuzzy semi-topogenous order by using soft double fuzzy interior operator.

With the emergence of the fundamental paper [5] by Zadeh in 1965 number of papers have appeared in literature featuring the application of fuzzy sets to pattern recognition, decision problems, function approximation, system theory, fuzzy logic, fuzzy algorithms, fuzzy automata, fuzzy grammars, fuzzy languages, fuzzy algebras, fuzzy topology, etc. [2], [7]. In this note, our interests are in the...

Abstract 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–V...

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.