QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in classical propositiona - Deep inference - Document - PDFSEARCH.IO

First Page	Meta Content
	QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in classical propositiona Add to Reading List Document Date: 2016-02-27 12:40:53 Open Document File Size: 389,49 KB Share Result on Facebook Company Natural Proof Systems / / Event Reorganization / / Facility University of Bath / / IndustryTerm deep inference systems / machinery / graph rewriting systems / sequent calculus systems / proof systems / classical-logic proof systems / proof search / deep-inference proof systems / / Organization University of Bath / / Person ALESSIO GUGLIELMI / TOM GUNDERSEN / MICHEL PARIGOT / PAOLA BRUSCOLI / / / ProvinceOrState Kansas / / PublishedMedium la Recherche / / SocialTag Natural deduction Sequent calculus Rule of inference Deep inference Sequent Cut-elimination theorem Substitution Propositional calculus Proof calculus Logic

QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in classical propositionaAdd to Reading List