消除带括号的拉姆贝克演算中的单位常元
计算机科学中的逻辑
2017-11-20 v1 逻辑
摘要
我们提出一种将带括号和单位常元的拉姆贝克演算 翻译到允许空前件但不含单位常元的带括号拉姆贝克演算 的方法。利用该翻译，我们将先前已知的 结果扩展到 ：(1) 基于带括号拉姆贝克演算的范畴文法所生成的语言是上下文无关的（Kanazawa 2017）；(2) 用于判定有界深度相继式可推导性的多项式时间算法（Kanovich et al. 2017）。
引用
@article{arxiv.1711.06361,
title = {Eliminating the unit constant in the Lambek calculus with brackets},
author = {Stepan Kuznetsov},
journal= {arXiv preprint arXiv:1711.06361},
year = {2017}
}