Nested sequent calculus
= Nested sequent calculus
{wiki=Nested_sequent_calculus}
Nested sequent calculus is a formal system used in proof theory, a branch of mathematical logic that deals with the structure and properties of formal proofs. It is an extension of traditional sequent calculus that allows for a more nuanced representation of proofs in certain logical systems, particularly those that involve intuitionistic logic and other non-classical logics.