Philosophy:Nested sequent calculus: Difference between revisions
From HandWiki
(fix) |
(No difference)
|
Latest revision as of 09:06, 5 February 2024
In structural proof theory, the nested sequent calculus is a reformulation of the sequent calculus to allow deep inference.[1]
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.
 |  |
