Date: 2017-09-19 19:50:55Proof theory Mathematical logic Logic Mathematics Sequent Natural deduction Cut-elimination theorem Admissible rule Proof complexity Propositional calculus Structural rule Cut rule | | Under consideration for publication in Math. Struct. in Comp. Science Complexity of Translations from Resolution to Sequent Calculus (Presentation-Only - Draft) Giselle Reis1 and Bruno Woltzenlogel Paleo2Add to Reading ListSource URL: pxtp.github.ioDownload Document from Source Website File Size: 327,78 KBShare Document on Facebook
|