The article presents a partial solution regarding proof theories for semilattice logics. It notes that the solution indicates the equality of commutative manoid and distributive semilattice semantics without disjunction. Various theorems are presented concerning the commutative monoid and semilattice semantics.