| 非线性序集逻辑系统L4^2中命题真度值在[0，1]上的分布 |
| |
| 引用本文： | 左卫兵,李艺星.非线性序集逻辑系统L4^2中命题真度值在[0，1]上的分布[J].华北水利水电学院学报,2007,28(4):107-109. |
| |
| 作者姓名： | 左卫兵 李艺星 |
| |
| 作者单位： | 华北水利水电学院,河南郑州450011 |
| |
| 基金项目： | 河南省自然科学基金项目（0611052600）;华北水利水电学院青年科学基金项目（HSQJ2005002）. |
| |
| 摘 要： | 利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念，给出了真度推理规则，证明了真值集为非线性序集四值逻辑系统L4^2中全体公式的真度值之集在0，1]上是稠密的，为进一步建立四值非线性序集逻辑系统的近似推理理论奠定了基础．
|
| 关 键 词： | 真度 真度推理规则 稠密 非线性序集 |
| 文章编号： | 1002-5634（2007）04-0107-03 |
| 修稿时间： | 2007-03-162007-05-04 |
Distribution of Propositional Truth Degree in 4-value Propositional Logic Systems Associated with a Nonlinear Ordering True Value Set |
| |
| ZUO Wei-bing, LI Yi-xing.Distribution of Propositional Truth Degree in 4-value Propositional Logic Systems Associated with a Nonlinear Ordering True Value Set[J].Journal of North China Institute of Water Conservancy and Hydroelectric Power,2007,28(4):107-109. |
| |
| Authors: | ZUO Wei-bing LI Yi-xing |
| |
| Affiliation: | North China Institute of Water Conservancy and Hydroelectric Power, Zhengzhou 450011, China |
| |
| Abstract: | Using the infinite product of homogeneous probability space with potential of 3, a conception of formula truth degree is introduced into 4-valued logic system and a inferential rule of truth degree is also given. It is proved further that the set of complete formula truth degree in 0,1 ] is dense one in 4-value logic system associated with a nonlinear ordering true value set ; providing a basis for further establishing approximate reasoning theory of 4-valued propositional logic. |
| |
| Keywords: | truth degree truth degree inferential rule dense nonlinear ordering set |
| 本文献已被 CNKI 维普 等数据库收录！ |
