[EN] We obtain a characterization of Hausdorff left K-complete quasi-metric spaces by means of alpha-psi-contractive mappings, from which we deduce the somewhat surprising fact that one the main fixed point theorems of ...
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 ...
[EN] In this paper we consider a kind of Geraghty contractions by using mw-distances in the setting of complete quasi-metric spaces. We provide fixed point theorems for this type of mappings and illustrate with some examples ...
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 ...
Romaguera Bonilla, Salvador; Tirado Peláez, Pedro(National Library of Serbia, 2021)
[EN] We introduce and discuss several types of alpha - psi-contractive mappings on quasi-metric spaces. We obtain some fixed point theorems in this setting and present suitable examples to show the validity of our approach ...
[EN] Involving w-distances we prove a fixed point theorem of Caristi-type in the realm of (non -necessarily T-1) quasi-metric spaces. With the help of this result, a characterization of quasi-metric completeness is obtained. ...
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 ...
[EN] With the help of C-contractions having a fixed point, we obtain a characterization of complete fuzzy metric spaces, in the sense of Kramosil and Michalek, that extends the classical theorem of H. Hu (see "Am. Math. ...
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 ...
Tirado Peláez, Pedro(Universitat Politècnica de València, 2008-09-04)
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. ...
[EN] We introduce and discuss a notion of $\alpha -\psi $-contractive self map for fuzzy metric spaces in the sense of Kramosil and Michalek, which allows us to prove a fixed point theorem that constitutes a fuzzy counterpart ...
[EN] We obtain several characterizations of complete G-metric spaces by means of fixed point theorems. Our results provide extensions to the G-metric framework of several well-know characterizations of metric completeness, ...
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) ...
Company Rossi, Rafael; García Raffi, Luis Miguel; Pérez Peñalver, María José; Ponsoda Miralles, Enrique; Rodríguez López, Jesús; Romero Vivó, Sergio; Tirado Peláez, Pedro(Instituto de Ciencias de la Educación de la Universidad de Alicante, 2011-11-08)
[ES] En el contexto de los nuevos planes de estudio, los profesores del departamento de Matemática Aplicada de la
ETSICCP de Valencia nos planteamos cómo enfocar las prácticas de informática de las dos asignaturas de
primer ...
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 ...