scientific article; zbMATH DE number 871432

zbMATH Open0843.03031MaRDI QIDQ4874794

Mirjana Borisavljević

Publication date: 15 August 1996

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

zbMATH Keywords

cut eliminationnormalizationintuitionistic propositional logicnatural deduction systemtyped \(\lambda\)-calculusmulticategoriessequent system

Mathematics Subject Classification ID

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

Related Items (3)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

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)