本书对范畴类型逻辑的发展、功能进行了全面的研究。
2008.01
本书通过概念元对概念系统最底层知识要素进行形式化表示，从而对真实世界中的本体建模提供了通用框架。另外...
2017.11
范畴类型逻辑是当代自然语言逻辑中的一个重要分支，其使用逻辑学中的方法，甚至数学中的方法为自然语言问题...
2015.4