RESUMO
Lógica Fuzzy Intervalar e Conjuntos Fuzzy valorados em intervalos têm sido amplamente investigado. Algumas Lógicas Fuzzy foram algebricamente modeladas por Peter Hájek como BL-álgebras. Qual é a contrapartida algébrica para o caso intervalar? Sabe-se da literatura que existe uma incompatibilidade entre algumas estruturas algébricas e sua contraparte intervalar. Este artigo mostra que tal incompatibilidade também está presente ao nível de BL-álgebras. Aqui mostramos ambos: (1) a impossibilidade na imprecisão correspondente e a corretude da fundamental BL-Implicação e (2) alguns fatos sobre a intervalização de BL-álgebras.
Palavras-chave:
Lógica Fuzzy; BL-Álgebras; intervalos; princípio de corretude