摘要
利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念,给出了真度推理规则,证明了真值集为非线性序集四值逻辑系统L24中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立四值非线性序集逻辑系统的近似推理理论奠定了基础.
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.
出处
《华北水利水电学院学报》
2007年第4期107-109,共3页
North China Institute of Water Conservancy and Hydroelectric Power
基金
河南省自然科学基金项目(0611052600)
华北水利水电学院青年科学基金项目(HSQJ2005002)
关键词
真度
真度推理规则
稠密
非线性序集
truth degree
truth degree inferential rule
dense
nonlinear ordering set
作者简介
左卫兵（1976-），男，河南内黄人，华北水利水电学院讲师，主要从事应用数学与概率统计方面的研究．
