 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.