scientific article; zbMATH DE number 871432

zbMATH Open0843.03031MaRDI QIDQ4874794FDOQ4874794

Authors: Mirjana Borisavljević 

Publication date: 15 August 1996

Title of this publication is not available (Why is that?)

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

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)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)