<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2005-01-31 14:08:48Natural deduction Curry–Howard correspondence Sequent calculus Entailment Cut-elimination theorem Sequent Linear logic Intuitionistic logic Soundness Logic Mathematical logic Proof theory |
Add to Reading List |
Naming Proofs in Classical Propositional Logic Fran¸cois Lamarche Lutz Straßburger LORIA & INRIA-Lorraine
