![Natural deduction / Sequent calculus / Rule of inference / Deep inference / Sequent / Cut-elimination theorem / Substitution / Propositional calculus / Proof calculus / Logic / Proof theory / Mathematical logic Natural deduction / Sequent calculus / Rule of inference / Deep inference / Sequent / Cut-elimination theorem / Substitution / Propositional calculus / Proof calculus / Logic / Proof theory / Mathematical logic](https://www.pdfsearch.io/img/80070daf08033c11176b1666a0408138.jpg) 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
|