Edge Rewrite
everything Source code View original
// HTMLRewriter · presentation

This page was redesigned at the edge.

Cloudflare fetched the original article and streamed it through HTMLRewriter to apply an entirely new visual system without rebuilding the source page.

// request.cf · coarse context

A page that knows where it met you.

Only coarse request metadata is shown. This demo does not display or persist visitor IP addresses.

Country
US
Cloudflare location
CMH
Connection
HTTP/2
Language
Not provided

Ray ID: a22079b27dbe3f27

Jump to content

Nested sequent calculus

Add links
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

[edit]
  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.


Retrieved from "https://en.wikipedia.org/w/index.php?title=Nested_sequent_calculus&oldid=1167025750"