Advances in Linear Logic