| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
丛书序
译者序
引论
第1部分 自然语言和形式语言中的量词
1 量词问题
2 语义自动机
3 多元量词
4 类型世界中的量词
第2部分 范畴语法与证明论
5 范畴语法和λ-演算
6 兰贝克演算
7 语义类型变换和语法识别
8 范畴语法和类型论
9 处于十字路口的范畴语法
10 自然语言的范畴微细结构
第3部分 计算与认知
11 走向一种计算语义学
12 意义:解释与推理
13 自然逻辑简史
14 自然语言和计算中的语义平行问题
15 作为会话的计算
16 “彰显价值的博弈”:逻辑、语言与多主体互动
17 相互作用下的认知
附录
附录一 英-汉专业术语对照表
附录二 英-汉人名对照表