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.