Scholarlink

The most natural class of models for the Lambek calculus, according to its linguistic applications, is formed by models on algebras of formal languages, or L-models for short. While the Lambek calculus is known to be complete w.r.t. this class of models (Pentus 1995), its natural extensions are often incomplete. We give a survey of known (in)completeness results and present a couple of new ones.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

A Survey on Language Completeness of the Lambek Calculus and Its Extensions

  • 章节

  • 发表日期：

    2026年

查看全文
  • Stepan L. Kuznetsov

摘要

The most natural class of models for the Lambek calculus, according to its linguistic applications, is formed by models on algebras of formal languages, or L-models for short. While the Lambek calculus is known to be complete w.r.t. this class of models (Pentus 1995), its natural extensions are often incomplete. We give a survey of known (in)completeness results and present a couple of new ones.