This work introduces a focused sequent calculus for semi-substructural logics with additive conjunction and disjunction, providing a sound and complete normalization procedure for these logics.
