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 implicatio...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2026 |
| País: | España |
| Institución: | Conselleria de Salut i Consum del Govern de les Illes Balears |
| Repositorio: | Docusalut |
| Idioma: | inglés |
| OAI Identifier: | oai:docusalut.com:20.500.13003/26639 |
| Acceso en línea: | https://hdl.handle.net/20.500.13003/26639 |
| Access Level: | acceso abierto |
| Palabra clave: | modus tollens discrete uninorms fuzzy discrete implication discrete RU-implications negation on a finite chain |
| Sumario: | 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. |
|---|