Deductive Systems and Coherence for Skew Prounital Closed Categories