, 2009, Weak implicational logics related to the Lambek calculus: Gentzen versus Hilbert formalisms, in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 201-212.