On the directional Lambek calculus

DOI10.1093/JIGPAL/JZP048zbMath1213.03030OpenAlexW2072055459MaRDI QIDQ3577908

Wojciech Zielonka

Publication date: 26 July 2010

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzp048

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: On the directional Lambek calculus