The bicompletion of intuitionistic fuzzy quasi-metric spaces

Abstract

The problem of the completion of fuzzy metric spaces and fuzzy quasi-metric spaces has received a certain attention in the last years and it has been applied to deduce the existence and uniqueness of solution of the equations associated to the complexity analysis of recursive algorithms. In order to allow more algorithms, defined as recurrence equations, to be studied using the Banach fixed point theorem, we shall show that every intuitionistic fuzzy quasi-metric space in the sense of Kramosil and Michalek has a bicompletion which is unique up to isometry.