- 编号:35349
- 书名:范畴类型逻辑(中国社会科学院文库.哲学宗教研究系列)
- 作者:邹崇理
- 出版社:中国社科
- 出版时间:2008年1月
- 入库时间:2008-8-3
- 定价:30
图书内容简介
范畴类型逻辑是一种使用运算和推演的手段描述语言的形式化工具。本书对范畴类型逻辑的发展阶段、范畴类型逻辑的新功能和范畴类型逻辑的研究进行了全面的论述。
图书目录
绪论
第一章 范畴类型逻辑的发展阶段
第1节 古典范畴语法
第2节 Lambek句法演算
第3节 蒙太格语法
第4节 类型——逻辑语义学
第5节 语法逻辑
第二章 范畴类型逻辑的特性——逻辑的新功能
第三章 范畴类型逻辑研究
参考文献
后记