On embedding Lambek calculus into commutative categorial grammars

DOI10.1093/LOGCOM/EXAB065OpenAlexW3209450574MaRDI QIDQ5103710

Sergey Slavnov

Publication date: 8 September 2022

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.10058

zbMATH Keywords

Lambek calculuslinear logiccategorial grammar

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (1)

Making first order linear logic a generating grammar

This page was built for publication: On embedding Lambek calculus into commutative categorial grammars