An analysis of (linear) exponentials based on extended sequents