scientific article; zbMATH DE number 871432

MaRDI QIDQ4874794zbMATH OpenFDO

Authors Mirjana Borisavljević

Publication date 15 August 1996

zbMATH Keywords

cut eliminationintuitionistic propositional logicmulticategoriesnatural deduction systemnormalizationsequent systemtyped \(\lambda\)-calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05) Categorical logic, topoi (03G30)

Recommendations

• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• Lambda terms for natural deduction, sequent calculus and cut elimination
• scientific article; zbMATH DE number 874672
• Revisiting the correspondence between cut elimination and normalisation

Cited in

(5)

• Strong normalisation for a Gentzen-like cut-elimination procedure
• scientific article; zbMATH DE number 2015278 (Why is no real title available?)
• scientific article; zbMATH DE number 1471986 (Why is no real title available?)
• Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi
• scientific article; zbMATH DE number 5499335 (Why is no real title available?)

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