Browsing Articles by Subject "lattices of quasi-equational theories"

Now showing items 1-2 of 2

Lattices of quasi-equational theories as congruence lattices of semilattices with operators, part I

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

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-equational theories of K (the dual of the lattice ...
Lattices of quasi-equational theories as congruence lattices of semilattices with operators, part II

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

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 the lattice of quasi-equational theories of K (the dual of the ...