Proof Theory of Partially Normal Skew Monoidal Categories