Sciweavers

CIE
2007
Springer

111views Applied Computing» more CIE 2007»

Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus

14 years 3 months ago

We prove confluence of two cut-elimination procedures for the implicational fragment of a standard intuitionistic sequent calculus. One of the cut-elimination procedures uses globa...

Kentaro Kikuchi

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers