scientific article; zbMATH DE number 3630746

MaRDI QIDQ4192054zbMATH OpenFDO

Authors Georg Kreisel

Publication date 1979

zbMATH Keywords

Critical Cut-EleminationGeneral Proof TheoryNormal-Form TheoremOrdinal

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Recursive ordinals and ordinal notations (03F15) Proof theory and constructive mathematics (03F99)

Cited in

(1)

• A note on the elimination rules

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4192054)