On fuzzy implication functions based on admissible orders on the set of discrete fuzzy numbers

Research on the construction of logical connectives using total (admissible) orders is a prolific area of study. Using such orders, a new method for constructing implication functions is defined on the set of discrete fuzzy numbers with support of a closed interval of a given finite chain and whose...

Descripción completa

Detalles Bibliográficos
Autores: González-Hidalgo, Manuel, Massanet, Sebastia, Mir Torres, Arnau, Riera, Juan Vicente, Miguel Turullols, Laura de
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2025
País:España
Institución:Universidad Pública de Navarra
Repositorio:Academica-e. Repositorio Institucional de la Universidad Pública de Navarra
OAI Identifier:oai:academica-e.unavarra.es:2454/55350
Acceso en línea:https://hdl.handle.net/2454/55350
Access Level:acceso abierto
Palabra clave:Discrete fuzzy numbers
Finite chain
Implication function
Total order
Descripción
Sumario:Research on the construction of logical connectives using total (admissible) orders is a prolific area of study. Using such orders, a new method for constructing implication functions is defined on the set of discrete fuzzy numbers with support of a closed interval of a given finite chain and whose membership values belong to a finite set of fixed values. This method is based on the use of discrete implication functions defined on a finite chain. Furthermore, a bijective correspondence between the set of implication functions on the aforementioned subset of discrete fuzzy numbers and the set of discrete implication functions defined on the discrete chain is shown. Basic properties of these implication functions are thoroughly investigated, concluding that they are preserved under the proposed construction method. This result highlights the robustness and generality of the method, providing a systematic way to extend discrete implication functions to more complex structures while preserving their underlying properties.