Intuitionistic fuzzy metric spaces

Using the idea of intuitionistic fuzzy set due to Atanassov [Intuitionistic fuzzy sets. in: Sgurev V. (Ed.), VII ITKR's Session, Sofia June, 1983; Fuzzy Sets Syst. 20 (1986) 87], we define the notion of intuitionistic fuzzy metric spaces as a natural generalization of fuzzy metric spaces due to George and Veeramani [Fuzzy Sets Syst. 64 (1994) 395] and prove some known results of metric spaces including Baire's theorem and the Uniform limit theorem for intuitionistic fuzzy metric spaces. (C) 2004 Elsevier Ltd. All rights reserved.