Back to Results
First PageMeta Content
Proof theory / Propositional calculus / Deduction / Boolean algebra / Algebraic logic / Natural deduction / Heyting algebra / Sequent calculus / Negation / Logic / Mathematical logic / Mathematics


[hal, v1] Semantic A-translation and Super-consistency entail Classical Cut Elimination
Add to Reading List

Document Date: 2014-01-28 09:59:08

Open Document

File Size: 210,35 KB

Share Result on Facebook

Company

Figure 1 / /

Country

France / /

/

Event

Product Recall / Product Issues / /

IndustryTerm

proof-search algorithm / /

OperatingSystem

Sequent / /

Organization

Ecole Polytechnique / /

Person

Ai / /

/

Position

Author / hB / model for any pseudo-Heyting algebra / algebra hB / structure hB / /

Product

classical sequent calculus modulo / /

Technology

proof-search algorithm / /

SocialTag