Zielonka W. Two weak Lambek style calculi: DNL and DNL−∗. LLP [Internet]. 2012 Mar. 15 [cited 2024 Jul. 18];21(1):53-64. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2012.004