// Workers AI · dad joke modeDoes nested sequent calculus go to therapy? It's struggling to find closure.
In structural proof theory, the nested sequent calculus is a reformulation of the sequent calculus to allow deep inference.[1]
References
[edit]- ↑ 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)
 | This mathematical logic–related article is a stub. You can help Wikipedia by adding missing information. |