scientific article; zbMATH DE number 871432

MaRDI QIDQ4874794zbMATH OpenFDO

Authors Mirjana Borisavljević

Publication date 15 August 1996

zbMATH Keywords

cut eliminationnormalizationtyped \(\lambda\)-calculusintuitionistic propositional logicmulticategoriessequent systemnatural deduction system

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) 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
• scientific article; zbMATH DE number 1670856

Cited in

(5)

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

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)