n值命题逻辑中公式列的收敛性

• 作者: 李骏 蒙頔
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 逻辑度量空间 度量收敛 赋值收敛 真度收敛
• 年，卷（期）: 2016,（22）
• 所属期刊栏目: 理论与研发
• 页码范围: 55-58
• 页数: 4页
• 分类号: O141.1
• 字数: 4394字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1412-0346

摘要

在n值R0命题逻辑系统中给出了公式列按真度收敛的定义，研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质，给出了三种收敛各自的充分必要条件，在公式列是有限原子的条件下证明了公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李骏	兰州理工大学理学院	46	395	11.0	19.0
2	蒙頔	兰州理工大学理学院	3	0	0.0	0.0