A theorem on implication functions defined from triangular norms.
Didier Dubois, Henri Prade (1984)
Stochastica
Similarity:
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.