Usando a noção de funções de negação fuzzy que surgem naturalmente na teoria e aplicações da lógica fuzzy, ampliamos a classe de contrações fuzzy do tipo ψ (Fórmula apresentada.) assim como a classe de contrações fuzzy (Fórmula apresentada.) e generalizamos os correspondentes teoremas de ponto fixo. Mostramos que negações estritas, negações fortes e t-normas arqui-medeanas desempenham um papel central nos teoremas de ponto fixo mencionados. Exemplos apropriados que ilustram a teoria exposta são fornecidos. No processo, obtemos um novo tipo de topologia (bem como convergência e completude) para os espaços métricos fuzzy, sugerindo uma nova avenida de pesquisa potencial para explorar o assunto.
Martínez-Moreno et al. (qua,) estudaram essa questão.