Basic algorithm for attribute implications and functional dependencies in graded setting

We present GLINCLOSURE, a graded extension of the well-known LINCLOSURE algorithm. GLINCLOSURE can be used to compute degrees of semantic entailment from sets of fuzzy attribute implications. It can also be used together with graded extension of Ganter's NEXTCLOSURE algorithm to compute non-redundant bases of data tables with fuzzy attributes. We present foundations, the algorithm, analysis of its complexity, implementation details, and illustrative examples.