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

A Lambek Calculus of English Legal Language

作　　者：关颖雄[1] 康孝军[2] Yinxiong Guan;Xiaojun Kang(School of Criminal Justice, East China University of Political Science and Law;School of Philosophy and Sociology,Jilin University)

机构地区：[1]华东政法大学刑事司法学院 [2]吉林大学哲学社会学院

出　　处：《逻辑学研究》2016年第4期100-109,共10页Studies in Logic

基　　金：国家社会科学基金青年项目(15CZX045)

摘　　要：本文的主要研究对象是服务于英文法律语言处理的类型逻辑与范畴语法。首先,分析并总结英文法律语言主要的句法特征,由此提出刻画这些特征的类型逻辑与对应的范畴语法。同时,证明了本文所关注的类型逻辑是可判定的且其对应的范畴语法是上下文无关的。本文研究结果为英文法律语言自动处理提供了理论基础。In this paper, we analysis the main syntactic features of English legal discourse on the grammar level. Then we design a extended Nonassociative Lambek calculus and its corresponding categorial grammars for processing of English legal discourse. Finally,we prove that our system is decidable and the corresponding grammars are context-free.The results will provide a theoretical basis for the automatic processing of English legal language.

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

分 类 号：B815[哲学宗教—逻辑学]