Conference paper accepted: Inheritance of completeness between systems of strong and weak implications

The work Inheritance of completeness between systems of strong and weak implications has been published in European Symposium on Computational Intelligence and Mathematics, ESCIM, 2024.

Abstract:

The study of unknown information in formal contexts can be done from two extremely different points of view: working just with the information available at the moment, or exploring all the different values that the unknown information can take. From these two perspectives, we obtain two kinds of attribute implications: the weak ones which are the attribute implications that hold with the current amount of information, and the strong ones which will also hold under any update of the context. We study whether, given a complete system of weak implications concerning partial formal context, one can extract a complete system of strong ones concerning the same partial formal context.

For more details on this work, visit its own page.