四值非线性格值逻辑上公式的真度理论

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (30): 50-52.

四值非线性格值逻辑上公式的真度理论

左卫兵，王俊芳

华北水利水电学院数学与信息科学学院，郑州 450011

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-10-21 发布日期:2011-10-21

Truth degree of formula in 4-valued nonlinear lattice logic

ZUO Weibing，WANG Junfang

Department of Mathematics and Information Science，North China University of Water Resources and Electric Power，Zhengzhou 450011，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-10-21 Published:2011-10-21

摘要/Abstract

摘要： 王国俊教授在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论，但其研究的多值命题逻辑是线性赋值格结构。在四值非线性格值逻辑系统上提出推广的真度，得到了一些平行的相关结果，说明计量逻辑学在非线性格值逻辑系统上有一定的可行性。

关键词: 非线性格, 命题逻辑, 真度, 逻辑度量空间

Abstract: Truth degree of formula and the theory of quantified logic in the many-valued logic system are built by Wang Guo-Jun，which is based on linear assignment lattice frame.The extension of truth degree is provided in the 4-valued logic system associated with nonlinear lattice logic and some parallel relevant results are obtained，which is proved feasible for quantified logic in the nonlinear lattice-valued logic.

Key words: nonlinear lattice, proposition logic, truth degree, logic metric space

左卫兵，王俊芳. 四值非线性格值逻辑上公式的真度理论[J]. 计算机工程与应用, 2011, 47(30): 50-52.

ZUO Weibing，WANG Junfang. Truth degree of formula in 4-valued nonlinear lattice logic[J]. Computer Engineering and Applications, 2011, 47(30): 50-52.

[1]	秦晓燕. 推广规则后一阶逻辑公式的准真度[J]. 计算机工程与应用, 2019, 55(6): 39-41.
[2]	宁欣然，徐扬，曹峰，吴贯峰. 命题逻辑提升到一阶逻辑上的子句消去方法[J]. 计算机工程与应用, 2019, 55(5): 18-25.
[3]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[4]	王勇勇，惠小静. 增加[Δ]算子的Gödel[n]值命题逻辑系统理论的平均真度[J]. 计算机工程与应用, 2018, 54(19): 68-71.
[5]	朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.
[6]	李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.
[7]	张超权，李修清. 三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2017, 53(1): 69-72.
[8]	李修清. n值命题逻辑中的ξ-条件开放度[J]. 计算机工程与应用, 2016, 52(8): 25-28.
[9]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[10]	李　　骏，李小兵. Lukasiewicz逻辑系统中理论的平均真度及偏差[J]. 计算机工程与应用, 2016, 52(4): 42-45.
[11]	蒙頔，李骏. n值命题逻辑中公式列的收敛性[J]. 计算机工程与应用, 2016, 52(22): 55-58.
[12]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.
[13]	马巧云. 逻辑系统[L?n]中一类特殊公式的[ΣΓ]-真度[J]. 计算机工程与应用, 2016, 52(11): 34-37.
[14]	高永刚，徐涵秋. 利用FIHS和BT的遥感影像融合改进算法[J]. 计算机工程与应用, 2015, 51(23): 23-27.
[15]	马巧云1，吴洪博2. 多值逻辑公式间的伪距离的Boole函数表示[J]. 计算机工程与应用, 2015, 51(23): 38-41.