当前位置: 首页 > 现代文学 > 文章

邹崇理专著《范畴类型逻辑》

2019-06-16

邹崇理专著《范畴类型逻辑》

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

友情链接