35 citations · 85 across the 9 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
math.CO2011★ 35 cited
Ordered direct implicational basis of a finite closure system
Kira Adaricheva, J. B. Nation, Robert Rand
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, an…
math.RA2011★ 2 cited
Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Part II
Kira Adaricheva, J. B. Nation
Part I proved that for every quasivariety K of structures (which may have both operations and relations) there is a semilattice S with operators such that he lattice of quasi-equat…
math.RA2011★ 2 cited
Lattices of quasi-equational theories as congruence lattices of semilattices with operators, Part I
Kira Adaricheva, J. B. Nation
We show that for every quasivariety K of structures (where both functions and relations are allowed) there is a semilattice S with operators such that the lattice of quasi-equation…