中介逻辑演算系统MPN及MFN

摘要：

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和的中介逻辑命题演算系统MPN和中介逻辑谓词演算系统MFN,并证明了MPN与MP*、MFN与MF*的表达能力等价.MFN将为进一步讨论不完全信息数据库作准备.

关键词：中介逻辑、中介逻辑命题演算、中介逻辑谓词演算、表达能力、不完全信息

所属期刊栏目：13

分类号：N94(系统科学)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：45-51