<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-07-03 10:24:22Proof theory Natural deduction Propositional calculus Sequent calculus Heyting algebra First-order logic Intuitionistic logic Cut-elimination theorem Function Logic Mathematical logic Mathematics |
|
Deduction modulo theory Gilles Dowek Inria, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France. 1