Nested sequent calculus

From Wikipedia, the free encyclopedia

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

References

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.