An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon - U-turn - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-01-06 05:11:00 Cut-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 computation Add to Reading List Source URL: www.ensiie.fr Download Document from Source Website File Size: 75,60 KB Share Document on Facebook