Several transformation which enable implication functions in multivalued logics to be generated from conjunctions have been proposed in the literature. It is proved that for a rather general class of conjunctions modeled by triangular norms, the generation process is closed, thus shedding some light on the relationships between seemingly independent classes of implication functions.
@article{urn:eudml:doc:38912,
title = {A theorem on implication functions defined from triangular norms.},
journal = {Stochastica},
volume = {8},
year = {1984},
pages = {267-279},
zbl = {0581.03016},
mrnumber = {MR0796654},
language = {en},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:38912}
}
Dubois, Didier; Prade, Henri. A theorem on implication functions defined from triangular norms.. Stochastica, Tome 8 (1984) pp. 267-279. http://gdmltest.u-ga.fr/item/urn:eudml:doc:38912/