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

计算机工程与应用 ›› 2016, Vol. 52 ›› Issue (22): 55-58.

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

蒙頔，李骏

兰州理工大学理学院，兰州 730050

出版日期:2016-11-15 发布日期:2016-12-02

Convergence of sequence of formulas in n-valued propositional logic

MENG Di, LI Jun

School of Science, Lanzhou University of Technology, Lanzhou 730050, China

Online:2016-11-15 Published:2016-12-02

摘要/Abstract

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

关键词: 逻辑度量空间, 度量收敛, 赋值收敛, 真度收敛

Abstract: Convergence in truth degree for a sequence of formulas is defined in n-valued [R0] propositional logic. Properties of convergence in measure and convergence in assignment as well as convergence in truth degree for a given sequence of formulas are studied. Necessary and sufficient conditions for the three kinds of convergences are obtained respectively. In the end, it is proved that the three kinds of convergences for a given sequence of formulas are equivalent to each other when the sequence of formulas is finite atomic.

Key words: logic metric space, convergence in measure, convergence in assignment, convergence in truth degree

蒙頔，李骏. n值命题逻辑中公式列的收敛性[J]. 计算机工程与应用, 2016, 52(22): 55-58.

MENG Di, LI Jun. Convergence of sequence of formulas in n-valued propositional logic[J]. Computer Engineering and Applications, 2016, 52(22): 55-58.

[1]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[2]	李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.
[3]	张超权，李修清. 三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2017, 53(1): 69-72.
[4]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[5]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.
[6]	贺晓丽，折延宏. 粗糙逻辑中理论相容性的拓扑刻画[J]. 计算机工程与应用, 2015, 51(2): 64-68.
[7]	马巧云. n元经典逻辑度量空间中的平移变换[J]. 计算机工程与应用, 2013, 49(6): 59-61.
[8]	楼志刚1，刘宏昭1，胡明娣2. 对称逻辑度量次范整子空间及其性质[J]. 计算机工程与应用, 2013, 49(5): 40-43.
[9]	娄妍，冯飞，左卫兵. Lukasiewicz n值命题逻辑中公式的条件随机真度[J]. 计算机工程与应用, 2012, 48(33): 63-67.
[10]	李修清1，魏海新1，林亮2. 修正的[n]值G?del逻辑系统的随机化[J]. 计算机工程与应用, 2012, 48(24): 45-48.
[11]	左卫兵，王俊芳. 四值非线性格值逻辑上公式的真度理论[J]. 计算机工程与应用, 2011, 47(30): 50-52.
[12]	马丽娜¹，刘烁²，王国俊¹. 命题逻辑系统L_n中公式集上的真度函数[J]. 计算机工程与应用, 2010, 46(36): 37-39.
[13]	许格妮. 系统L在非均匀概率空间下命题的真度理论[J]. 计算机工程与应用, 2010, 46(36): 53-55.
[14]	王庆平. n值标准逻辑系统中的随机化研究[J]. 计算机工程与应用, 2010, 46(30): 16-19.
[15]	李友雨，张兴芳，李绍勇，屠桂晶. n值乘积逻辑系统中的随机化研究[J]. 计算机工程与应用, 2010, 46(16): 35-38.