Since this early work, sequent calculi, also called Gentzen systems, denotes Gentzen systems as LA and LC.
Sequent calculi denotes Gentzen systems as LA and LC. This is since this early work. Sequent calculi are also called Gentzen systems.