En su trabajo de 1973, ya clásico, Bellman y Giertz probaron que P(X) es un retículo distributivo con máximo y mínimo sólo (con hipótesis muy razonables) bajo las usuales definiciones (A U B)(x) = máx {A(x),B(x)}, (A ∩ B)(x) = mín {A(x),B(x)}, tratando escasamente el formalismo analítico relativo a la negación. En el presente trabajo se prueba que tal P(X) es un álgebra de DeMorgan si y sólo si la función de negación posee generador aditivo y que tales negaciones constituyen, en un cierto grupo de funciones monótonas, la clase de conjugación de la negación N(x) = 1 - x. Se concluye con algunas observaciones informales relativas a las relaciones lógicas entre evaluación y negación.
@article{urn:eudml:doc:38807,
title = {Sobre funciones de negaci\'on en la teor\'\i a de conjuntos difusos.},
journal = {Stochastica},
volume = {3},
year = {1979},
pages = {47-60},
zbl = {0419.03035},
mrnumber = {MR0562440},
language = {es},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:38807}
}
Trillas, Enric. Sobre funciones de negación en la teoría de conjuntos difusos.. Stochastica, Tome 3 (1979) pp. 47-60. http://gdmltest.u-ga.fr/item/urn:eudml:doc:38807/