In structural proof theory, the nested sequent calculus is a reformulation of the sequent calculus to allow deep inference. [1]
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.