On Direct Systems of Implications with Graded Attributes
摘要
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.