scientific article; zbMATH DE number 4068861

zbMATH Open0655.03037MaRDI QIDQ3801545FDOQ3801545

Authors: Helmut Schwichtenberg 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• Normal derivability in classical natural deduction
• Continuous normalization for the lambda-calculus and Gödel's T
• Reduction of finite and infinite derivations
• Finite notations for infinite terms
• Some general results about proof normalization

zbMATH Keywords

normalizationproof-theoryomega-rule

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Cited In (3)

• Notation systems for infinitary derivations
• Finite notations for infinite terms
• Title not available (Why is that?)

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 Q3801545)