中介逻辑ML的语法完全性

• 作者: 潘正华
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 中介逻辑 形式系统 协调性 语义完全性 语法完全性
• 年，卷（期）: 2006,（10）
• 所属期刊栏目: 人工智能及图像处理技术
• 页码范围: 131-133
• 页数: 3页
• 分类号: TP3
• 字数: 3893字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2006.10.035

摘要

中介逻辑ML(Medium Logic)是近年提出的一种非经典逻辑.在ML的系统特征理论中已证明ML具有语义完全(完备)性.本文研究了ML的语法完全性,证明了如下结果:(1)ML中的中介命题逻辑系统MP及其扩张MP*是语法完全的,中介谓词逻辑系统MF与其扩张MF*,以及含有等词的中介谓词逻辑系统ME不是语法完全的.(2)一般地,如果一个协调的逻辑形式系统不是语法完全的,则它的任何协调的扩张系统也不是语法完全的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘正华	江南大学理学院数理研究所	45	217	9.0	13.0