Zielonka, W. (2012). Two weak Lambek style calculi: DNL and DNL−∗. Logic and Logical Philosophy, 21(1), 53–64. https://doi.org/10.12775/LLP.2012.004