The normalization theorem for extended natural deduction

DOI10.2298/PIM1715075BzbMath1474.03147OpenAlexW2618075124MaRDI QIDQ4985610

Mirjana Borisavljević

Publication date: 23 April 2021

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

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

zbMATH Keywords

cut eliminationnormalization

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Uses Software

• Pesca

Cites Work

• Natural deduction with general elimination rules
• Untersuchungen über das logische Schliessen. II
• A natural extension of natural deduction
• The correspondence between cut-elimination and normalization
• Normalization as a homomorphic image of cut-elimination
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The normalization theorem for extended natural deduction