In structural proof theory, the nested sequent calculus is a reformulation of the sequent calculus to allow deep inference.
We don't have any images related to Nested sequent calculus yet.
You can add one yourself here.
We don't have any YouTube videos related to Nested sequent calculus yet.
You can add one yourself here.
We don't have any PDF documents related to Nested sequent calculus yet.
You can add one yourself here.
We don't have any Books related to Nested sequent calculus yet.
You can add one yourself here.
We don't have any archived web articles related to Nested sequent calculus yet.
References
Alwen Tiu; Egor Ianovski; Rajeev Goré. "Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures". p. 1. CiteSeerX 10.1.1.1060.4978. /wiki/CiteSeerX_(identifier) ↩