Inheritance of completeness between systems of strong and weak implications

 

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.

Funding

Projects funding this work