Nested sequent calculus
In structural proof theory, the nested sequent calculus is a reformulation of the sequent calculus to allow deep inference.
References
- ↑ Alwen Tiu; Egor Ianovski; Rajeev Goré, Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures, p. 1
 | This mathematical logic–related article is a stub. You can help Wikipedia by adding missing information. |