范畴类型逻辑

绪论第一章　范畴类型逻辑的发展阶段第1节　古典范畴语法　　1.1　范畴和运算　　1.2　形式化表述　　1.3　古典范畴语法的变异　第2节　Lambek句法演算　　2.1　运算即推演　　2.2　形式系统　第3节　蒙太格语法　　3.1　范畴语法的独特形态　　3.2　通用语法模式　　3.3　直接和间接的语义解释　第4节　类型-逻辑语义学　　4.1　句法和语义的综合表述

绪论第一章　范畴类型逻辑的发展阶段第1节　古典范畴语法　　1.1　范畴和运算　　1.2　形式化表述　　1.3　古典范畴语法的变异　第2节　Lambek句法演算　　2.1　运算即推演　　2.2　形式系统　第3节　蒙太格语法　　3.1　范畴语法的独特形态　　3.2　通用语法模式　　3.3　直接和间接的语义解释　第4节　类型-逻辑语义学　　4.1　句法和语义的综合表述　　4.2　后承演绎图式和自然演绎系统　　4.3　关于量化表达式的处理　第5节　语法逻辑　　5.1　公理系统　　5.2　框架语义学　　5.3　GentZen后承表述　　5.4　合并或交织的多模态系统第二章　范畴类型逻辑的特性——逻辑的新功能　第1节　范畴类型逻辑的自然语言语句系统　　1.1　蒙太格语法的语句系统　　1.2　类型-逻辑语义学的语句系统　第2节　范畴类型逻辑和自然语言的计算机处理　　2.1　基于范畴类型逻辑的逻辑程序语言　　2.2　基于范畴类型逻辑的语法自动分析　第3节　范畴类型逻辑的逻辑系统　　3.1　Lambek演算对判定问题的解决　　3.2　对应λ-词项的完全性证明　　3.3　展示自然语言句法生成的语法逻辑　　3.4　表现自然语言语义的高阶内涵逻辑　第4节　逻辑的新功能——关于自然语言的逻辑系统　　4.1　源于语言照应关系的动态逻辑　　4.2　用于语法分析的特征结构逻辑　　4.3　基于情境关联的信息流逻辑第三章　范畴类型逻辑研究　第1节　非连续量词的类型-逻辑语义处理　第2节　有关汉语灵活语序的多模态范畴逻辑　第3节　融合特征结构的范畴类型推演　第4节　处理照应关系的范畴类型推演参考文献后记

本书是“哲学宗教研究系列”之一，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。该书可供从事相关工作的人员作为参考用书使用。