命题中介逻辑的可靠和完备Gentzen推导系统

• 作者: 朱梧槚 李未 眭跃飞 罗杰
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 中介逻辑 矛盾关系 反对关系 可靠性 完备性
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 209-218
• 页数: 10页
• 分类号: TP301
• 字数: 6551字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004791

摘要

中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词～、反对连接词(△)以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱梧槚	南京航空航天大学计算机系	40	363	8.0	18.0
2	眭跃飞	中国科学院计算技术研究所智能信息处理重点实验室	35	313	9.0	17.0