Sibylla Priess-Crampe and Paulo Ribenboim recently established a general xed-point theorem for multivalued mappings deened on generalized ultrametric spaces, and introduced it to the area of logic programming semantics. We discuss, in this context, the applications which have been made so far of this theorem and of its corollaries. In particular, we will relate these results to Scott-Ershov dom...

Sibylla Priess-Crampe and Paulo Ribenboim recently established a general xed-point theorem for multivalued mappings deened on generalized ultrametric spaces, and introduced it to the area of logic programming semantics. We discuss, in this context, the applications which have been made so far of this theorem and of its corollaries. In particular, we will relate these results to Scott-Ershov dom...

This paper presents a Banach space based approach towards a denotational semantics of a probabilistic constraint programming language. This language is based on the concurrent constraint programming paradigm, where randomness is introduced by means of a probabilis-tic choice construct. As a result, we obtain a declarative framework, in which randomised algorithms can be expressed and formalised...

Let Y be a convex set in IR k deened by polynomial inequalities and equations of degree at most d 2 with integer coeecients of binary length l. We show that if Y \ ZZ k 6 = ;, then Y contains an integral point of binary length ld O(k 4). For xed k, our bound implies a polynomial-time algorithm for computing an integral point y 2 Y. In particular, we extend Lenstra's theorem on the polynomial-ti...

We prove a generalization of Brouwer's famous xed point theorem to discontinuous maps. The main result shows that for discontinuous functions on a compact convex domain X one can always nd a point x 2 X such that kx ? f(x)k is less than a certain measure of discontinuity. Applications to artiicial neural nets, economic equilibria, and analysis are given.

in this paper, a concept of generalized weakly contraction mappings in partially ordered fuzzy metric spaces is introduced and  coincidence point  theorems on partially ordered fuzzy metric spaces are proved. also, as the corollary of these theorems, some common fixed point theorems on partially ordered fuzzy metric spaces are presented.

In this paper, we discuss the existence and uniqueness of xed points for Banach and Kannancontractions dened on modular spaces endowed with a graph. We do not impose the Δ2-conditionor the Fatou property on the modular spaces to give generalizations of some recent results. Thegiven results play as a modular version of metric xed point results.

The xed point result in Mustafa-Sims metrical structures obtained by Karapinar and Agarwal[Fixed Point Th. Appl., 2013, 2013:154] is deductible from a corresponding one stated in terms ofanticipative contractions over the associated (standard) metric space.

In this paper, we prove the existence of fixed point for J-type multi-valuedmap T in CAT(0) spaces and also we prove the strong convergence theoremsfor Ishikawa iteration scheme without using the xed point of involving map.

A predicative semantics is a mapping of programs to predicates These pred icates characterize sets of acceptable observations The presence of time in the observations makes the obvious weakest xed point semantics of itera tive constructs unacceptable This paper proposes an alternative We will see that this alternative semantics is monotone and implementable feasible Fi nally a programming theor...