论蕴涵 王宪钧()
mVALUED SUBSYSTEM OF (m+n)VALUED PROPOSITIONAL CALCULUS HOO TZUHUA()
逻辑课程的现代化 王宪钧()
试述《墨辩》中若干范畴的理论 李世繁()
略述现有形式逻辑存在的主要问题及其解决途径 杜岫石()
传统逻辑与数理逻辑 晏成书()
黑格尔怎样评论形式逻辑的作用与局限性 彭燕韩()
关于形式化的几个问题 吴允曾()
等度和不等度的结构及在PT度下集合的分离性质 刘壮虎()
二重命题逻辑系统B4 郭世铭()
辩证思维议 宋文坚()
主次条件句逻辑 刘壮虎 李小五()
涵义语义与关于概称句推理的词项逻辑 周北海()
How Gdel relates Platonism to mathematics XING TAOTAO()
The Applicability of Mathematics as a Scientific and a Logical Problem YE FENG()
Proper Names, Contingency A Priori and Necessity A Posteriori CHEN BO()
On Axiomatizations of Public Announcement Logic WANG YANJING()
附录 历届博士生论文摘要 ()