A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Paola Bruscoli1? , Alessio Guglielmi1?? , Tom Gundersen1? ? ? , and Michel Parigot2† 1 - Cut-elimination theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Paola Bruscoli1? , Alessio Guglielmi1?? , Tom Gundersen1? ? ? , and Michel Parigot2† 1 Add to Reading List Document Date: 2010-07-17 14:32:37 Open Document File Size: 406,73 KB Share Result on Facebook City Paris / / Country United Kingdom / France / / Facility University of Bath / / IndustryTerm deep-inference deduction systems / proof systems / classical-logic proof systems / / Organization University of Bath / / Person Nancy-Grand Est / / PublishedMedium la Recherche / / SocialTag Propositional calculus Automated theorem proving Inference Logical truth Natural deduction Sequent calculus Rule of inference Deep inference Cut-elimination theorem Logic

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Paola Bruscoli1? , Alessio Guglielmi1?? , Tom Gundersen1? ? ? , and Michel Parigot2† 1Add to Reading List