Connection-based Proof Construction in Linear Logic Connection-based Proof Construction in Linear Logic