谓词形式系统 (∨)UL-h∈[0.75,1]及其完备性

• 作者: 何华灿 马盈仓
• 来源期刊: 计算机工程与应用
• 学科: 哲学
• 关键词: 泛逻辑 谓词演算形式系统 泛与运算
• 年，卷（期）: 2010,（34）
• 页码范围: 17-20
• 分类号: TP18|B815
• 字数: 5410字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.34.006

摘要

主要解决基于一级泛与运算的一阶谓词演算形式系统ULULh∈-[0.75,1]的完备性.通过引入全称量词和存在量词,建立与命题形式系统Ulh∈-[0.75,1]相对应的一阶谓词形式系统Ulh∈-[0.75,1],证明其完备性定理.从而说明形式系统Ulh∈-[0.75,1]的语义和语构是和谐的.

作者信息

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