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 a type of generalized contractions on preordered complete fuzzy quasi-metric spaces which is applied to deduce, among other results, a procedure to show in a direct and easy fashion the ...
[EN] We analyze the complexity of an expoDC algorithm by deducing the existence of solution for the recurrence inequation associated to this algorithm by means of techniques of Denotational Semantics in the context of fuzzy ...
Alegre Gil, Maria Carmen; Dag, Hacer; Romaguera Bonilla, Salvador; Tirado Peláez, Pedro(Hacettepe Journal of Mathematics and Statistics, 2017)
[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 ...
We show that the domain of formal balls of a complete partial metric space (X, p) can be endowed with a complete partial metric that extends p and induces the Scott topology. This result, that generalizes well-known ...
Tirado Peláez, Pedro("Babeş-Bolyai" University of Cluj-Napoca, 2012)
[EN] It is well known that each bounded ultraquasi-metric on a set induces, in a natural way, an [0,1]-fuzzy poset. On the other hand, each [0,1]-fuzzy poset can be seen as a stationary fuzzy ultraquasi-metric space for ...
En los últimos años se ha desarrollado una teoría matemática con propiedades robustas con el fin de fundamentar la Ciencia de la Computación. En este sentido, un avance significativo lo constituye el establecimiento de ...
In this paper we prove the existence of a fixed point for multivalued maps satisfying a contraction condition in terms of Q-functions, and via Bianchini-Grandolfi gauge functions, for complete T-0-quasipseudometric spaces. ...
By using a suitable modification of the notion of a -distance we obtain some fixed point results for generalized contractive set-valued maps on complete preordered quasi-metric spaces. We also show that several distinguished ...
Schellekens [The Smyth completion: A common foundation for denotational semantics and complexity analysis, Electron. Notes Theor. Comput. Sci. 1 (1995), pp. 211-232.] introduced the theory of complexity (quasi-metric) ...
Tirado Peláez, Pedro(University of Sistan and Baluchestan, 2012-11)
[EN] In [Fuzzy Sets and Systems 27 (1988) 385-389], M. Grabiec introduced a notion of completeness for fuzzy metric spaces (in the sense of Kramosil and Michalek) that successfully used to obtain a fuzzy version of Banach´s ...
[EN] Based on previous results that study the completion of fuzzy metric spaces, we show that every intuitionistic fuzzy quasi-metric space, using the
notion of fuzzy metric space in the sense of Kramosil and Michalek to ...
[EN] We present a procedure to construct a compatible metric from a given fuzzy metric space. We use this approach to obtain a characterization of a large class of complete fuzzy metric spaces by means of a fuzzy version ...
[EN] We show that the poset of formal balls of the Sorgenfrey quasi-metric space is an omega-continuous domain, and deduce that it is also a computational model, in the sense of R.C. Flagg and R. Kopperman, for the Sorgenfrey ...
[EN] We show that some important fixed point theorems on complete metric spaces as Browder’s fixed point
theorem and Matkowski’s fixed point theorem can be easily generalized to the framework of bicomplete
quasi-metric ...
Recently, Gregori et al. have discussed (Fuzzy Sets Syst 2011;161:2193 2205) the so-called strong fuzzy metrics when looking for a class of completable fuzzy metric spaces in the sense of George and Veeramani and state the ...
The Topology and its Applications Research Group from the Instituto de Matemática Pura y Aplicada (IUMPA), Universitat Politècnica de València, organizes the International Summer Workshop in Applied Topology - ISWAT 2014, ...
The Topology and its Applications Research Group from the Instituto Universitario de Matematica Pura y Aplicada (IUMPA), Universitat Politecnica de Valencia, organizes the Workshop on Applied Topological Structures - WATS ...
[EN] We discuss several properties of Q-functions in the sense of Al-Homidan et al.. In particular, we
prove that the partial metric induced by any T0
weighted quasipseudometric space is a Q-function
and show that both ...
Extending the well-known result that every fuzzy metric space, in the sense of Kramosil and Michalek, has a completion which is unique up to isometry, we show that every KM-fuzzy quasi-metric space has a bicompletion which ...