Concepedia

Ordered direct implicational basis of a finite closure system

Kira Adaricheva, J. B. Nation, Robert W. Rand

Discrete Applied Mathematics · 2012 · 34 citations · 13 references

DOIFull text

Open access

Concepts

References

13

Linear-time algorithms for testing the satisfiability of propositional horn formulae

William F. Dowling, Jean Gallier · The Journal of Logic Programming · 1984 · 1K citations

, , +11

The lattices of closure systems, closure operators, and implicational systems on a finite set: a survey

Nathalie Caspard, Bernard Monjardet · Discrete Applied Mathematics · 2003 · 155 citations

, , +17

Join-semidistributive lattices and convex geometries

Kira Adaricheva, V. I. Tumanov · Advances in Mathematics · 2003 · 100 citations

, , +10

The multiple facets of the canonical direct unit implicational basis

Karell Bertet, Bernard Monjardet · Theoretical Computer Science · 2010 · 75 citations · Full text

, , +3

A Theory of Finite Closure Spaces Based on Implications

Marcel Wild · Advances in Mathematics · 1994 · 62 citations

, , +10