The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words (Q886315)

The authors present yet another version of the Banach contraction principle translated into fuzzy metric spaces. More precisely they extend the fixed point theorem by \textit{M. Grabiec} [Fuzzy Sets Syst. 27, No. 3, 385--389 (1988; Zbl 0664.54032)] for a class of fuzzy quasi-metrics of Baire type. It enables application of this theorem in the domain of denotational semantics of programming languages. As an example of such an application the authors analyze the complexity of divide and conquer algorithms which solve a problem by recursively splitting it into subproblems each of which is solved by the same algorithm and the results are combined into a solution of the original problem. The authors seem not to know recent results of \textit{O. Hadzic} and \textit{E. Pap} [Fixed point theory in probabilistic metric spaces, Kluwer Academic Publishers, Dordrecht (2002; Zbl 0994.47077)].