Nested sequent calculus

In structural proof theory, the nested sequent calculus is a reformulation of the sequent calculus to allow deep inference.

References

  1. ↑ 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. {{cite CiteSeerX}}: Cite uses deprecated parameter |citeseerx= (help)