有穷多模态类型逻辑语法及其在汉语中的应用  

Multimodal Type-Logical Grammar with Finite Assumptions and Its Application in Chinese

作　　者：康孝军[1] Xiaojun Kang(School of Philosophy and Sociology,Jilin University)

机构地区：[1]吉林大学哲学社会学院

出　　处：《逻辑学研究》2018年第3期58-70,共13页Studies in Logic

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

摘　　要：多模态类型逻辑是一种模态Lambek演算的分支。以类型逻辑为基础的范畴语法一般用于自然语言的智能处理。在多模态类型逻辑语法中添加假设集的方式可以用来处理汉语语言现象。本文采用带有穷假设集的多模态非结合Lambek演算的根岑表述系统。介绍其句法和代数语义,证明了其可靠性与完全性。探讨了在多模态非结合Lambek演算系统下,有穷假设集在汉语语序与异常句等处理上的应用,并简述了此方法的优势。Multimodal type logic is a subsystem of modal Lambek calculus.Categorical grammar based on type logic is generally used for intelligent processing of natural language.We depict Chinese linguistic phenomena by adding assumptions in a multimodal typelogical grammar.Our work is in a Gentzen style sequent presentation of multimodal nonassociative Lambek calculus with finite assumptions.Its syntax and algebraic semantics are introduced,and its soundness and completeness are proved.We discuss the application of finite assumptions in handling the word order and abnormal sentences in Chinese under the nonassociative Lambek calculus,and the advantages of this method.

关 键 词：类型逻辑语法 Lambek演算 有穷假设集 语序 

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