scientific article

zbMath0980.03023MaRDI QIDQ2751816

Vladimir L. Vasyukov

Publication date: 12 February 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

deduction theoremcut-eliminationfunctional completenessdual deductive systemsexponential categoriesLambek's type implicative deductive systems

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: