We present a new xed point theorem akin to the Banach contraction mapping theorem but in the context of a novel notion of generalized metric space and show how it can be applied to anal yse the denotational semantics of certain logic programs The theorem is obtained by generaliz ing a theorem of Priess Crampe and Ribenboim which grew out of applications within valuation theory but is also inspi...

An operational and a denotational semantics are presented for a simple imperative language. The main feature of the language is second order communication: sending and receiving of statements rather than values. The operational semantics is based on a transition system. A complete 1-bounded ultramet-ric space is used in the denotational semantics. In establishing the connection between the two ...

in this paper, several xed point theorems for t-contraction of two maps on cone metric spaces under normality condition are proved. obtained results extend and generalize well-known comparable results in the literature.

In this paper, a vector version of the intermediate value theorem is established. The main theorem of this article can be considered as an improvement of the main results have been appeared in [textit{On fixed point theorems for monotone increasing vector valued mappings via scalarizing}, Positivity, 19 (2) (2015) 333-340] with containing the uniqueness, convergent of each iteration to the fixe...

in this article, we apply two new fixed point theorems to investigate the existence of mild solutions for a nonlocal fractional cauchy problem with an integral initial condition in banach spaces.

Darbo's fixed point theorem and its generalizations play a crucial role in the existence of solutions in integral equations. Meir-Keeler condensing operators is a generalization of Darbo's fixed point theorem and most of other generalizations are a special case of this result. In recent years, some authors applied these generalizations to solve several special integral equations and some of the...

This paper nishes the series 12, 16, 17] of papers that aim to show the existence of non-trivial group actions (\symmetries") on certain classes of manifolds. More speciically, we ask whether there is a semifree smooth action of the circle group T = S 1 { resp., a non-trivial action of a cyclic group Z=p; p a prime { on a given manifold X with a xed point set of a given rational homotopy type F...

Dijkstra and Scholten have formulated a theorem stating that all disjunctivity properties of a predicate transformer are preserved by the construction of least preex points. An alternative proof of their theorem is presented based on two fundamental xed point theorems, the abstraction theorem and the fusion theorem, and the fact that suprema in a lattice are deened by a Galois connection. The a...

Digital mobile systems are sensitive to power consumption, chip size and costs. Therefore they are realized using xed-point architectures, either dedicated HW or xed-point processors. On the other hand, system design starts from a oating-point description. These requirements have been the motivation for FRIDGE , a design environment for the speci cation, evaluation and implementation of xed-poi...