We obtain a quasi-metric generalization of Caristi's fixed point theorem for a kind of complete quasi-metric spaces. With the help of a suitable modification of its proof, we deduce a characterization of Smyth complete ...

We obtain a fixed point theorem for generalized contractions on complete quasi-metric spaces, which involves w-distances and functions of Meir-Keeler and Jachymski type. Our result generalizes in various directions the ...

[EN] We obtain a fixed point theorem for complete fuzzy metric spaces, in the sense of Kramosiland Michalek, that extends the classical Kannan fixed point theorem. We also show that, in fact, ourtheorem ...

We prove that given a fuzzy metric space (in the sense of Kramosil and Michalek), the completion of its Hausdorff fuzzy metric space is isometric to the Hausdorff fuzzy metric space of its completion, when the Hausdorff ...

[EN] We introduce a new type of Caristi's mapping on partial metric spaces and show that a partial metric space is complete if and only if every Caristi mapping has a fixed point. From this result we deduce a characterization ...

[EN] We obtain quasi-metric versions of Kannan's fixed point theorem for self-mappings and multivalued mappings, respectively, which are used to deduce characterizations of d-sequentially complete and of left K sequentially ...

[EN] We introduce the notions of a cofinally bicomplete quasi-uniformity and of a cofinally bicomplete quasi-pseudometric. The Sorgenfrey quasi-metric and the Kofner quasi-metric are interesting examples of cofinally ...

We obtain a common fixed point theorem of Boyd-Wong type for four mappings satisfying a Ciric-type contraction on a complete partial metric space. Our result generalizes and unifies, among others, the very recent results ...

[EN] In [25], Katsaras introduced a method for constructing a Hutton [0, 1]-quasi-uniformity from a crisp uniformity. In this paper we present other different methods for making this based mainly in the concept of a fuzzy ...

[EN] A quasi-uniform space (X,U) is called strongly complete if every stable filter on (X, U-1) has a cluster point and it is called hypercomplete if every stable filter on (X,U) has a cluster point. We show, among other ...