计算机工程与应用2016，Vol.52Issue(22)：55-58,4.DOI:10.3778/j.issn.1002-8331.1412-0346
n值命题逻辑中公式列的收敛性
Convergence of sequence of formulas in n-valued propositional logic
摘要
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,4.基金项目
国家自然科学基金（No.11261032）。 （）
