scientific article; zbMATH DE number 1223617
From MaRDI portal
Publication:4218928
zbMath0910.03034MaRDI QIDQ4218928
Torben Braüner, V. C. V. de Paiva
Publication date: 19 April 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cut-eliminationclassical linear logicfull intuitionistic linear logicexponential-free and multiplicative linear logicFILL
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (3)
Multiple Conclusion Linear Logic: Cut Elimination and More ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ Subexponentials in non-commutative linear logic
This page was built for publication:
