sequent calculus

Strictly speaking, the sequent calculus is Gentzen's LK.

More broadly, a sequent calculus is any member of a certain family of proof calculi.

Sequent calculi are closely related to natural deduction systems.