On Implication Bases in n-Lattices


International audienceImplication bases in n-lattices are not formally defined. We clarify the different types of implications we need to reconstruct a concept n-lattice and show they can be derived from the same set of implications. We use this to identify a particular type of implication base in n-contexts. Finally, we provide an algorithm for computing implicational closures with n-dimensional bases

Similar works

Full text


HAL Clermont Université

Provided original full text link
oaioai:HAL:hal-01567409v1Last time updated on 12/2/2017

This paper was published in HAL Clermont Université.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.