TY - GEN AU - Díaz-Monterroso, Carolina AU - Madrid Labrador, Nicolás Miguel AU - Ramírez Poussa, Eloísa A4 - Matemáticas PY - 2025 SN - 2227-7390 UR - http://hdl.handle.net/10498/38716 AB - Recent work has shown that the f-index of inclusion can serve as a foundation for modeling Generalized Modus Ponens. In this paper, we develop a novel fuzzy inference system based on this inference rule. To establish its soundness, we connect it to a... LA - eng PB - Multidisciplinary Digital Publishing Institute (MDPI) KW - f-index of inclusion KW - fuzzy description logic KW - fuzzy inference system KW - fuzzy logic KW - inclusion measures TI - Correctness of Fuzzy Inference Systems Based on f-Inclusion DO - 10.3390/MATH13111897 ER -