Date: 2014-05-05 11:51:09Natural deduction Sequent calculus Rule of inference Deep inference Sequent Cut-elimination theorem Substitution Propositional calculus Proof calculus Logic Proof theory Mathematical 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 propositional-logic deAdd to Reading ListSource URL: www.cs.bath.ac.ukDownload Document from Source Website File Size: 387,25 KBShare Document on Facebook
|