![](/img/cover-not-exists.png)
Craig’s trick and a non-sequential system for the Lambek calculus and its fragments
Kuznetsov, Stepan, Lugovaya, Valentina, Ryzhova, AnastasiiaLanguage:
english
Journal:
Logic Journal of the IGPL
DOI:
10.1093/jigpal/jzy037
Date:
September, 2018
File:
PDF, 444 KB
english, 2018