Ordered direct implicational basis of a finite closure system (Q1946213)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Ordered direct implicational basis of a finite closure system |
scientific article |
Statements
Ordered direct implicational basis of a finite closure system (English)
0 references
18 April 2013
0 references
closure operator
0 references
system of implications
0 references
lattice of closed sets
0 references
Horn formula
0 references
Horn Boolean function
0 references
forward chaining
0 references
linclosure
0 references
direct basis
0 references
canonical basis
0 references
