![Cut-elimination theorem / Sequent / Rule of inference / First-order logic / Formal proof / Natural deduction / Structural proof theory / Logic / Proof theory / Mathematical logic Cut-elimination theorem / Sequent / Rule of inference / First-order logic / Formal proof / Natural deduction / Structural proof theory / Logic / Proof theory / Mathematical logic](https://www.pdfsearch.io/img/6e483016458a0c215e2d23189ff4f68f.jpg) Date: 2015-01-06 05:11:00Cut-elimination theorem Sequent Rule of inference First-order logic Formal proof Natural deduction Structural proof theory Logic Proof theory Mathematical logic | | An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon & LORIA∗ The complementarity and interaction between computationAdd to Reading ListSource URL: www.ensiie.frDownload Document from Source Website File Size: 75,60 KBShare Document on Facebook
|