尹铁超 章发祥 徐阳 杜国平 郭凯 刘军

分支真值表 统一性 互补性 发现能力测试规则 安全性 IC卡 医疗保险 不可说 可说 分支归谬赋值法 语言非工具性 数据库 哲思逻辑 潜在人身损害 诉讼时效 网络 分支树图方法

广西大学公共管理学院 江苏南京 广西南宁 南京大学现代逻辑与逻辑应用研究所 黑龙江大学西语学院 东北师范大学世界文明史研究中心