前言
论蕴涵
m-VALUED SUB-SYSTEM OF (m+n,)-VALUED PROPOSITIONAL CALCULUS......HOO TZU-HUA
逻辑课程的现代化
试述《墨辩》中若干范畴的理论
略述现有形式逻辑存在的主要问题及其
解决途径
传统逻辑与数理逻辑
黑格尔怎样评论形式逻辑的作用与局限性
关于形式化的几个问题
等度和不等度的结构及在P-T度下集合的
分离性质
二重命题逻辑系统R4
辩证思维议
主次条件句逻辑
涵义语义与关于概称句推理的词项逻辑
How Godel Relates Platonism to Mathematics
The Applicability of Mathematics as a Scientific and a Logical Problem
Proper Names, Contingency A Priori and Necessity A Posteriori
On Axiomatizations of Public Announcement Logic
附录 历届博士生论文摘要
展开