Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free

DOI10.1007/978-3-642-31262-5_11zbMath1291.03040OpenAlexW12959751MaRDI QIDQ4981254

Zhe Lin

Publication date: 24 June 2014

Published in: Logical Aspects of Computational Linguistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31262-5_11

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Some Syntactic Interpretations in Different Systems of Full Lambek Calculus

This page was built for publication: Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free