scientific article; zbMATH DE number 1858069
From MaRDI portal
Publication:4789046
zbMATH Open1009.03512MaRDI QIDQ4789046
Publication date: 6 May 2003
Title of this publication is not available (Why is that?)
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:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4789046)
