Top Qs
Timeline
Chat
Perspective

Nested sequent calculus

From Wikipedia, the free encyclopedia

Remove ads

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

References

Loading content...
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads