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