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

作者：蒙頔; 李骏

来源：计算机工程与应用, 2016, 52(22): 55-58.

• 逻辑度量空间
• 度量收敛
• 赋值收敛
• 真度收敛

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

• 单位
  兰州理工大学