Containment logics: algebraic completeness and axiomatization