基于英文法律语言的Lambek演算

摘要：

本文的主要研究对象是服务于英文法律语言处理的类型逻辑与范畴语法。首先，分析并总结英文法律语言主要的句法特征，由此提出刻画这些特征的类型逻辑与对应的范畴语法。同时，证明了本文所关注的类型逻辑是可判定的且其对应的范畴语法是上下文无关的。本文研究结果为英文法律语言自动处理提供了理论基础。

关键词：英文法律语言、类型逻辑、范畴语法

所属期刊栏目：9

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金青年项目15CZX045。

在线出版日期：2017-01-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：100-109