Philosophy:Nested sequent calculus

From HandWiki
Revision as of 08:06, 5 February 2024 by Jworkorg (talk | contribs) (fix)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

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.




Retrieved from "https://handwiki.org/wiki/index.php?title=Philosophy:Nested_sequent_calculus&oldid=3290530"