基于零级泛与运算的谓词形式系统及其完备性

• 作者: 何华灿 马盈仓
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 泛逻辑 谓词演算形式系统 泛与运算
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 人工智能与其它
• 页码范围: 2105-2108
• 分类号: TP18
• 字数: 5831字
• 语种: 中文

摘要

泛逻辑是在研究柔性世界逻辑规律时发现的一个新的连续值的逻辑体系,它通过引入广义相关性和广义自相关性刻画命题之间的相互关系.本文主要解决基于零级泛与运算的一阶谓词演算形式系统(V)ULh∈(0,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统ULh∈(0,1]相对应的一阶谓词形式系统(V)ULh∈(0.1],并证明其完备性定理.从而得到系统(V)ULh∈(0,1]的语义和语构是和谐的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何华灿	西北工业大学计算机学院	181	1581	19.0	32.0
2	马盈仓	西北工业大学电子信息学院	13	131	3.0	11.0