Misplaced Pages

Nested sequent calculus

Article snapshot taken from[REDACTED] with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

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

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 Misplaced Pages by expanding it.

Categories:
Nested sequent calculus Add topic