Nested sequent calculus
In structural proof theory, the nested sequent calculus is a reformulation of the sequent calculus to allow deep inference.[1]
References
- CiteSeerX 10.1.1.1060.4978.
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |