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

First Page	Meta Content
	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 Document Date: 2015-01-06 05:11:00 Open Document File Size: 75,60 KB Share Result on Facebook City Lyon / / / IndustryTerm search space / cut-free systems / proof search method / abstract canonical systems / proof search methods / important by-product / / Person Gilles Dowek / Henri Poincaré / Claude Kirchner / / Position editor / / PublishedMedium Theoretical Computer Science / / SocialTag 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 computationAdd to Reading List