Nested_sequent_calculus

Nested sequent calculus

Nested sequent calculus

Add article description

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

References

  1. [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.
Share this article:

This article uses material from the Wikipedia article Nested_sequent_calculus, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.