点击购买此书全本PDF电子书
相干否定与经典否定 埃德温&马莱斯 1
线性时态逻辑的决策问题复杂性 马克&雷诺兹 19
形式化量子力学不必使用量子逻辑 卞拓蒙 51
塔斯基定理的一种推广 熊明 73
中国古代从“类”范畴到“类”法式的发展演进过程 张晓芒 89
“正名”视野下的《白马论》 何杨 114
第二届“逻辑、理性与互动”国际研讨会会议综述 郭美云，邹明灼 125