Wojciech Zielonka. Weak Implicational Logics Related to the Lambek Calculus - Gentzen versus Hilbert Formalisms. In David Makinson, Jacek Malinowski, Heinrich Wansing, editors, Towards Mathematical Philosophy. Volume 28 of Trends in logic, pages 201-212, Springer, 2009. [doi]
Abstract is missing.