Jump to content

Nested sequent calculus

Add links
From Wikipedia, the free encyclopedia
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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.


Stub icon

This mathematical logic-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Nested_sequent_calculus&oldid=1167025750"