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

Convergence of sequence of formulas in n-valued propositional logic

作　　者：蒙頔[1] 李骏[1] MENG Di;LI Jun(School of Science, Lanzhou University of Technology, Lanzhou 730050, China)

机构地区：[1]兰州理工大学理学院,兰州730050

出　　处：《计算机工程与应用》2016年第22期55-58,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(No.11261032)

摘　　要：在n值R0命题逻辑系统中给出了公式列按真度收敛的定义,研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出了三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明了公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的。Convergence in truth degree for a sequence of formulas is defined in n-valued R0 propositional logic. Propertiesof convergence in measure and convergence in assignment as well as convergence in truth degree for a given sequence offormulas are studied. Necessary and sufficient conditions for the three kinds of convergences are obtained respectively. Inthe end, it is proved that the three kinds of convergences for a given sequence of formulas are equivalent to each otherwhen the sequence of formulas is finite atomic.

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

分 类 号：O141.1[理学—数学]