![Proof theory / Natural deduction / Propositional calculus / Sequent calculus / Heyting algebra / First-order logic / Intuitionistic logic / Cut-elimination theorem / Function / Logic / Mathematical logic / Mathematics Proof theory / Natural deduction / Propositional calculus / Sequent calculus / Heyting algebra / First-order logic / Intuitionistic logic / Cut-elimination theorem / Function / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/a0f69da26419721803462579640ffb65.jpg)
| Document Date: 2014-07-03 10:24:22 Open Document File Size: 236,79 KBShare Result on Facebook
/ IndustryTerm cut-elimination algorithm / theoretical systems / search space / stronger systems / infinite search space / / OperatingSystem Sequent / / Organization JBK This / / Person Ai / Gilles Dowek Inria / / Technology cut-elimination algorithm / /
SocialTag |