Modus Tollens in the Setting of Discrete Uninorms

This study focuses on the Modus Tollens (MT) property induced by discrete uninorms. Specifically, we identify the set of necessary and sufficient criteria for a discrete implication function to comply with this logical property. This rule of inference is studied by using discrete residual implication functions derived from uninorms of two of the most important families of these discrete operators (Umin, idempotents), exploring which properties these operators must satisfy, as well as providing some characterizations of the Modus Tollens in this domain of definition. Our findings contribute to a deeper understanding of reasoning mechanisms in fuzzy logic, particularly in discrete settings.