Craig's trick and a non-sequential system for the Lambek calculus and its fragments. - Stepan L. Kuznetsov; Valentina Lugovaya; Anastasiia Ryzhova (Log. J. IGPL, 2019)