Sciweavers

AML
1998

Normal deduction in the intuitionistic linear logic

13 years 3 months ago
Normal deduction in the intuitionistic linear logic
A natural deduction system NDIL described here admits normalization and has subformula prop
Grigori Mints
Added 21 Dec 2010
Updated 21 Dec 2010
Type Journal
Year 1998
Where AML
Authors Grigori Mints
Comments (0)