范畴语法造句

• 组合范畴语法
• 这种句法类型演算，又称为范畴语法，它对于自然语言的自动分析是有价值的。
• 丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑：自然语言中范畴语法和量词语义的逻辑：逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。
• 丛书收集了他的经典论文和主要专著,其涵盖的主题有：关于信息、进程和智能互动的模态逻辑；自然语言中范畴语法和量词语义的逻辑；逻辑与认识论、科学方法论和博弈论之间的相互影响,等等。
• 出版专著《逻辑、语言和蒙太格语法》，发表“论PTQ系统的意义公设”“情境语义学”、“范畴语法和加标演绎系统”、“范畴语法和类型-逻辑语义学”、“话语表现理论DRT述评”和“动态蒙太格语法”等多篇论文。
• 数理语言学导论、逻辑语义学导论、生成语法中的语义学、当代语义理论（上）、当代语义理论（下）、形式语用学、管约论、最小方案、转换--生成语法史、广义短语结构语法、中心语驱动语结构语法、范畴语法。
• 本书是一本专为语言学家而编写的逻辑学教材，涉及经典的命题逻辑和谓词逻辑、模态逻辑、内涵逻辑和范畴语法，还涉及自然语言的逻辑分析方法、自然推理系统、语用分析方法等逻辑方法，最后一章讨论了语言逻辑和语言哲学的重要理论问题。
• （Thomason,p.222）基于这样的考虑，蒙太格尝试用现代逻辑的形式化方法对英语进行处理：先在范畴语法的基础上构造一个英语部分语句系统的句法部分，进而用包含英语范畴毗连运算的句法规则来形成英语句子，然后再给出一个严格意义的翻译函数，把作为范畴语法的英语翻译成逻辑类型论语言，最后再通过逻辑类型论的语义学来解释这些翻译式，从而使英语表达式真正获得它的语义解释，使英语语义的系统化描述成为现实。

• 范畴语法的英语：categorial grammar