帕特里克·布莱克本;马克·戴米特曼;阿兰·勒科姆;阿恩·兰塔;克里斯蒂安·雷托雷;埃里克·维尔蒙特·德拉克莱格里（Eric Villemonte de la Clergerie） 计算语言学的逻辑方面：导论。 （英语） Zbl 0885.03027号 克里斯蒂安·雷托雷（编辑），计算语言学的逻辑方面。1996年9月23日至25日在法国南希举行的1996年LACL第一届国际会议。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1328，1-20（1997年）。 摘要：本集的论文都致力于一个主题：逻辑及其在计算语言学中的应用。它们有许多共同的主题、目标和技术，任何编辑分类都必然会以牺牲其他联系为代价来突出某些联系。尽管如此，我们发现将这些论文（有点武断地）分为以下四类是有用的：自然语言的逻辑语义、语法和逻辑、具有语言动机的数学以及计算视角。在这篇引言中，我们使用这种四向分类作为论文的指南，更广泛地说，作为论文基础的研究议程的指南。我们希望读者会发现这是一个有用的收藏起点。关于整个系列，请参见[Zbl 0877.00010号]。 理学硕士： 03B65号 自然语言逻辑 第68页第50页 自然语言处理 2002年3月 与数学逻辑和基础相关的研究展览（专著、调查文章） 2002年8月 与计算机科学有关的研究展览会（专著、调查文章） 关键词：计算语言学;逻辑语义学;语法 软件：Coq公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}等人，Lect。注释计算。科学。1328，1--20（1997；Zbl 0885.03027）