Browsing by Subject "finite closure system"

Now showing items 1-2 of 2

On implicational bases of closure system with unique critical sets

Adaricheva, Kira; Nation, J.B. (2013)

We show that every optimum basis of a nite closure system, in D. Maier's sense, is also right-side optimum, which is a parameter of a minimum CNF representation of a Horn Boolean function. New parameters for the size ...
Ordered direct implication basis of a finite closure system

Adaricheva, Kira; Nation, J.B.; Rand, R. (2012)

Closure system on a nite set is a unifying concept in logic programming, relational data bases and knowledge systems. It can also be presented in the terms of nite lattices, and the tools of economic description of a ...