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

Truth degree of formula in 4-valued nonlinear lattice logic

作　　者：左卫兵[1] 王俊芳[1] 

机构地区：[1]华北水利水电学院数学与信息科学学院,郑州450011

出　　处：《计算机工程与应用》2011年第30期50-52,共3页Computer Engineering and Applications

基　　金：河南省教育厅自然科学基金

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

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

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