Taking Linear Logic Apart