SLOGICA
2016
8 years 2 months ago
2016
Abstract. The duality between congruence lattices of semilattices, and algebraic subsets of an algebraic lattice, is extended to include semilattices with operators. For a set G of...
SLOGICA
2016
8 years 2 months ago
2016
We establish the dichotomy property of [7] for multi-conclusion stable canonical rules of [1]. This yields an alternative proof of existence of bases of admissible rules for such w...