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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Direct Systems of Implications with Graded Attributes

  • Manuel Ojeda-Hernández,
  • Domingo López-Rodríguez

摘要

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.