Highly Influenced

# Ordered direct implicational basis of a finite closure system

@article{Adaricheva2012OrderedDI, title={Ordered direct implicational basis of a finite closure system}, author={Kira V. Adaricheva and James B. Nation and Robert Rand}, journal={Discrete Applied Mathematics}, year={2012}, volume={161}, pages={707-723} }

- Published 2012 in ISAIM
DOI:10.1016/j.dam.2012.08.031

Closure system on a finite set is a unifying concept in logic programming, relational data bases and knowledge systems. It can also be presented in the terms of finite lattices, and the tools of economic description of a finite lattice have long existed in lattice theory. We present this approach by describing the so-called D-basis and introducing the concept of ordered direct basis of an implicational system. A direct basis of a closure operator, or an implicational system, is a set of… CONTINUE READING