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â€¦ (More)

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â€¦ (More)

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â€¦ (More)

JesÃºs RodÅ•Ä±guez-LÃ³pez Ã“scar Valero, Pedro Tirado

2009

The continuous representability property in algebraic environments is introduced. We provide a characterization of this property for the case of real algebras. An application of this algebraicâ€¦ (More)

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â€¦ (More)

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â€¦ (More)