Back to Results
First PageMeta Content
Proof 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 Paleo2
Add to Reading List

Document Date: 2017-09-19 19:50:55


Open Document

File Size: 327,78 KB

Share Result on Facebook
UPDATE