Relational Environment for Semigroup Logics