A Focused Sequent Calculus for Semi-Substructural Logics with Additive Connectives

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.