Sequent calculus
= Sequent calculus
{wiki=Sequent_calculus}
Sequent calculus is a formal system that is used in mathematical logic and proof theory. Developed by Gerhard Gentzen in the 1930s, it provides a framework for representing and manipulating logical arguments through sequences, known as sequents.