The ‘long rule’ in the Lambek calculus with iteration: undecidability without meets and joins

Stepan Kuznetsov

Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

Язык публикации: английский