Reduction of finite and infinite derivations

DOI10.1016/S0168-0072(00)00011-7MaRDI QIDQ1577482zbMATH OpenOpenAlexFDO

Authors G. E. Mints

Publication date 9 July 2001

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0168-0072(00)00011-7

zbMATH Keywords

cut eliminationnormalizationanalysisfirst-order arithmetic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Notation systems for infinitary derivations
• Finite notations for infinite terms
• A normal form for logical derivations implying one for arithmetic derivations
• scientific article; zbMATH DE number 4068861

Cites work

• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 48365 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 1088186 (Why is no real title available?)
• scientific article; zbMATH DE number 1420858 (Why is no real title available?)
• scientific article; zbMATH DE number 3360143 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A new reduction sequence for arithmetic
• A normal form for logical derivations implying one for arithmetic derivations
• A survey of proof theory
• Constructivism in mathematics. An introduction. Volume I
• Finite investigations of transfinite derivations
• Intensional interpretations of functionals of finite type I
• Notation systems for infinitary derivations
• Proof-theoretic analysis of KPM
• The lambda calculus, its syntax and semantics
• Untersuchungen über das logische Schliessen. I

Cited in

(5)

• Some attempts at a direct reduction of the infinite to the (large) finite
• A normal form for logical derivations implying one for arithmetic derivations
• Substitution in non-wellfounded syntax with variable binding
• scientific article; zbMATH DE number 4067903 (Why is no real title available?)
• scientific article; zbMATH DE number 4068861 (Why is no real title available?)

This page was built for publication: Reduction of finite and infinite derivations

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