| 四值非线性格值逻辑上公式的真度理论 |
| |
| 引用本文： | 左卫兵,王俊芳.四值非线性格值逻辑上公式的真度理论[J].计算机工程与应用,2011,47(30):50-52. |
| |
| 作者姓名： | 左卫兵 王俊芳 |
| |
| 作者单位： | 华北水利水电学院数学与信息科学学院,郑州,450011 |
| |
| 基金项目： | 河南省教育厅自然科学基金 |
| |
| 摘 要： | 王国俊教授在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论,但其研究的多值命题逻辑是线性赋值格结构。在四值非线性格值逻辑系统上提出推广的真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑系统上有一定的可行性。
|
| 关 键 词： | 非线性格 命题逻辑 真度 逻辑度量空间 |
| 修稿时间： | |
Truth degree of formula in 4-valued nonlinear lattice logic |
| |
| ZUO Weibing,WANG Junfang.Truth degree of formula in 4-valued nonlinear lattice logic[J].Computer Engineering and Applications,2011,47(30):50-52. |
| |
| Authors: | ZUO Weibing WANG Junfang |
| |
| Affiliation: | ZUO Weibing,WANG Junfang Department of Mathematics and Information Science,North China University of Water Resources and Electric Power,Zhengzhou 450011,China |
| |
| 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. |
| |
| Keywords: | nonlinear lattice proposition logic truth degree logic metric space
|
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
