Conference papers accepted EUSFLAT
27/05/25/13:02 Filed in: Conference paper
N. Madrid, M. Ojeda-Aciego. Studying the structure generated by subsets of ƒ-indexes of inclusion.14th Conference of the European Society for Fuzzy Logic and Technology, Riga, 2025.
Key-Work Abstract The ƒ-index of inclusion has proven to be a suitable generalization of the inclusion in the fuzzy setting. In this paper, the properties of the ƒ-index of inclusion, when its definition is restricted to a subset of indexes, are analyzed. The theoretical results obtained in this work are necessary in order to develop fuzzy inference systems based on the ƒ-index of inclusion.
M. Ojeda-Hernández, D. López Rodríguez. On direct systems of implications with graded attributes. 14th Conference of the European Society for Fuzzy Logic and Technology, Riga, 2025.
Contributed Paper Abstract In this paper the problem of defining direct systems of implications in the fuzzy setting is studied. The directness of systems allows a quick computation of the closure operator in cases such as Fuzzy Formal Concept Analysis. Characterizing these properties in algebraic terms is deeply linked to Simplification Logic. After the theoretical results, some thoughts on algorithms to provide direct systems are also considered.
Key-Work Abstract The ƒ-index of inclusion has proven to be a suitable generalization of the inclusion in the fuzzy setting. In this paper, the properties of the ƒ-index of inclusion, when its definition is restricted to a subset of indexes, are analyzed. The theoretical results obtained in this work are necessary in order to develop fuzzy inference systems based on the ƒ-index of inclusion.
M. Ojeda-Hernández, D. López Rodríguez. On direct systems of implications with graded attributes. 14th Conference of the European Society for Fuzzy Logic and Technology, Riga, 2025.
Contributed Paper Abstract In this paper the problem of defining direct systems of implications in the fuzzy setting is studied. The directness of systems allows a quick computation of the closure operator in cases such as Fuzzy Formal Concept Analysis. Characterizing these properties in algebraic terms is deeply linked to Simplification Logic. After the theoretical results, some thoughts on algorithms to provide direct systems are also considered.