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

• 作者: 何华灿 马盈仓
• 来源期刊: 计算机应用研究
• 关键词: 泛逻辑 谓词演算形式系统 泛与运算
• 年，卷（期）: 2011,（1）
• 页码范围: 84-86,101
• 分类号: TP18
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2011.01.022

摘要

对基于零级泛与运算的一阶谓词演算形式系统进行公理化.通过引入全称量词和存在量词,建立与命题形式系统Ulh∈(0,1]相对应的一阶谓词形式系统(A)Ulh∈(0,1],证明了其可靠性定理和演绎定理.从而得到所给形式系统中的定理均为重言式,保证了推理的有效性.

作者信息

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