Convergence and fixed points by fuzzy orders (Q835121)

This paper is an attempt to face questions of convergence and fixed points by unifying fixed-point theory in ordered sets and fixed-point theory in metric spaces. A general approach to fixed-point theory is proposed which is related to the notion of fuzzy ordering. This approach extends both the fixed-point theorems in metric spaces and the ones in ordered sets. An example from logic programming is discussed.