基于英文法律语言的 Lambek 演算
A Lambek Calculus of English Legal Language

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