First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 75,60 KBShare Document on Facebook |