Computer Engineering and Applications ›› 2011, Vol. 47 ›› Issue (30): 50-52.

• 研究、探讨 • Previous Articles     Next Articles

Truth degree of formula in 4-valued nonlinear lattice logic

ZUO Weibing,WANG Junfang   

  1. 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

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

左卫兵,王俊芳   

  1. 华北水利水电学院 数学与信息科学学院,郑州 450011

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

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

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