我所邹崇理研究员专著《范畴类型逻辑》于2008年1月由中国社会科学出版社出版。
本书是“哲学宗教研究系列”之一，全书25.5万字，该书分范畴类型逻辑的发展阶段、范畴类型逻辑的特性及范畴类型逻辑研究3个章节，对范畴类型逻辑作了系统全面的介绍，具体包括Lambek句法演算、蒙太格语法、范畴类型逻辑的自然语言语句系统、基于范畴类型逻辑的语法自动分析、有关汉语灵活语序的多模态范畴逻辑等。范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。该书可供从事相关工作的人员作为参考用书使用。
录入编辑：小蜜蜂
