Back to Results
First PageMeta Content
Natural deduction / Sequent calculus / Cut-elimination theorem / Sequent / Rule of inference / First-order logic / Mathematical proof / KeY / Negation / Logic / Mathematical logic / Proof theory


Cut Elimination in Deduction Modulo by Abstract Completion Guillaume Burel1 and Claude Kirchner2 1 3
Add to Reading List

Document Date: 2015-01-06 05:13:18

Open Document

File Size: 233,87 KB

Share Result on Facebook

Company

ACS / Claude Kirchner Identity Group / Bendix / Abstract Canonical Systems / /

Currency

pence / /

/

Event

Reorganization / /

IndustryTerm

mechanized proof search / cut-free systems / canonical systems / proof search methods / search space / proof search method / proof search space / important by-product / /

OperatingSystem

Sequent / /

Person

Gilles Dowek / Henri Poincar / Ai / Claude Kirchner / Guillaume Burel / /

Position

RT / Prime Minister / /

SocialTag