Back to Results
First PageMeta Content
Proof 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
Add to Reading List

Document Date: 2014-07-03 10:24:22

Open Document

File Size: 236,79 KB

Share 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