L O ] 1 A pr 2 02 2 SEQUENT CALCULI OF FINITE DIMENSION