RUS  ENG
Full version
JOURNALS // Fundamentalnaya i Prikladnaya Matematika

Fundam. Prikl. Mat., 1995, Volume 1, Issue 3, Pages 729–751 (Mi fpm100)

Lambek calculus and formal grammars
M. R. Pentus

This publication is cited in the following articles:
  1. M. E. Vishnikin, “Unique typed basic categorial grammars”, Moscow University Mathematics Bulletin, 77:2 (2022), 93–96  mathnet  crossref  mathscinet  zmath
  2. S. L. Kuznetsov, N. S. Ryzhkova, “A restricted fragment of the Lambek calculus with iteration and intersection operations”, Algebra and Logic, 59:2 (2020), 129–146  mathnet  crossref  crossref  mathscinet  isi
  3. S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138  mathnet  crossref  crossref  mathscinet  isi  elib  elib
  4. S. L. Kuznetsov, “On translating context-free grammars into Lambek grammars”, Proc. Steklov Inst. Math., 290:1 (2015), 63–69  mathnet  crossref  crossref  isi  elib  elib


© Steklov Math. Inst. of RAS, 2025