<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-01-06 05:29:08Mathematics Cut-elimination theorem Sequent calculus Sequent Gerhard Gentzen Natural deduction Proof theory Mathematical logic Logic |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-01-06 05:29:08Mathematics Cut-elimination theorem Sequent calculus Sequent Gerhard Gentzen Natural deduction Proof theory Mathematical logic Logic |
Add to Reading List |
An Abstract Completion Procedure for Cut Elimination in Deduction Modulo LICS 2006 Guillaume Burel + Claude Kirchner ´ LORIA × (Ecole