Lambek-Grishin 演算的极化蒙塔古语义
计算与语言
2011-02-01 v1
摘要
Grishin 提出用乘法析取 (par) 和共余式来丰富 Lambek 演算。Moortgat 讨论了其在语言学中的应用，并称之为 Lambek-Grishin 演算 (LG)。本文中，我们将 Girard 用于经典逻辑的极性敏感双否定嵌入加以改编，从用于 LG 聚焦证明搜索的显示演算中提取出组合的蒙塔古语义。我们借此机会，结合对提取现象的分析来阐述我们的方法，从而为张量在析取上的线性分配律提供语言学动机，由此回答了 Kurtonina 和 Moortgat 的一个问题。最后，我们将我们的提议与 Bernardi 和 Moortgat 的续延语义（对应于按名调用和按值调用求值策略）进行比较。
引用
@article{arxiv.1101.5757,
title = {Polarized Montagovian Semantics for the Lambek-Grishin calculus},
author = {Arno Bastenhof},
journal= {arXiv preprint arXiv:1101.5757},
year = {2011}
}
备注
To appear in the proceedings of the 15th conference on Formal Grammar, Copenhagen, 2010