Normalization as a consequence of cut elimination

DOI10.2298/PIM0900027BMaRDI QIDQ3655015zbMATH OpenOpenAlexFDO

Authors Mirjana Borisavljević

Publication date 12 January 2010

Published in Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2298/pim0900027b

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

cut eliminationnatural deduction systemnormalizationsequent system

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 874672
• Some general results about proof normalization
• A connection between cut elimination and normalization
• The normalization theorem for extended natural deduction
• AN ANALYSIS OF THE RULES OF GENTZEN’SNJANDLJ

Cited in

(10)

• Some general results about proof normalization
• Maximum segments as natural deduction images of some cuts
• scientific article; zbMATH DE number 1722668 (Why is no real title available?)
• scientific article; zbMATH DE number 4128806 (Why is no real title available?)
• scientific article; zbMATH DE number 1471988 (Why is no real title available?)
• Connections between cuts and maximum segments
• The normalization theorem for extended natural deduction
• Revisiting Zucker's work on the correspondence between cut-elimination and normalisation
• scientific article; zbMATH DE number 5499335 (Why is no real title available?)
• A connection between cut elimination and normalization

This page was built for publication: Normalization as a consequence of cut elimination

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