Reduction of finite and infinite derivations

DOI10.1016/S0168-0072(00)00011-7zbMATH Open0964.03057OpenAlexW1969898883MaRDI QIDQ1577482FDOQ1577482

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

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

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)

Cites Work

• Untersuchungen über das logische Schliessen. I
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume I
• Title not available (Why is that?)
• Title not available (Why is that?)
• The lambda calculus, its syntax and semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intensional interpretations of functionals of finite type I
• A survey of proof theory
• Proof-theoretic analysis of KPM
• Notation systems for infinitary derivations
• Finite investigations of transfinite derivations
• Title not available (Why is that?)
• A new reduction sequence for arithmetic
• A normal form for logical derivations implying one for arithmetic derivations
• Title not available (Why is that?)

Cited In (5)

• Some attempts at a direct reduction of the infinite to the (large) finite
• Title not available (Why is that?)
• A normal form for logical derivations implying one for arithmetic derivations
• Substitution in non-wellfounded syntax with variable binding
• Title not available (Why is that?)

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)