![Sequent calculus / Entailment / Ω-consistent theory / Sequent / Cut-elimination theorem / First-order logic / Structure / Linear logic / Natural deduction / Logic / Mathematical logic / Proof theory Sequent calculus / Entailment / Ω-consistent theory / Sequent / Cut-elimination theorem / First-order logic / Structure / Linear logic / Natural deduction / Logic / Mathematical logic / Proof theory](https://www.pdfsearch.io/img/beec9baeb96af166581c62d967104661.jpg)
| Document Date: 2009-03-02 09:38:29 Open Document File Size: 328,20 KBShare Result on Facebook
Company Let us / / Country France / / IndustryTerm rule applications / deductive systems / / OperatingSystem Sequent / / Organization Ecole Polytechnique / / TVShow Definition 4 / / URL www.lix.polytechnique.fr/˜lutz / /
SocialTag |