![Cut-elimination theorem / Sequent / Rule of inference / First-order logic / Formal proof / Natural deduction / Structural proof theory / Logic / Proof theory / Mathematical logic Cut-elimination theorem / Sequent / Rule of inference / First-order logic / Formal proof / Natural deduction / Structural proof theory / Logic / Proof theory / Mathematical logic](https://www.pdfsearch.io/img/6e483016458a0c215e2d23189ff4f68f.jpg)
| Document Date: 2015-01-06 05:11:00 Open Document File Size: 75,60 KBShare Result on Facebook
City Lyon / / / IndustryTerm search space / cut-free systems / proof search method / abstract canonical systems / proof search methods / important by-product / / Person Gilles Dowek / Henri Poincaré / Claude Kirchner / / Position editor / / PublishedMedium Theoretical Computer Science / /
SocialTag |