Nested sequent calculus explained

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

Notes and References

  1. Alwen Tiu . Egor Ianovski . Rajeev Goré . Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures . 1 . 10.1.1.1060.4978 .

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Nested sequent calculus".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.