scientific article; zbMATH DE number 6131419

zbMath1271.03035MaRDI QIDQ4903948

Wojciech Zielonka

Publication date: 28 January 2013

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

zbMATH Keywords

Lambek calculusaxiomatizationGentzen formalism

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication: