非线性序集逻辑系统L4^2中命题真度值在[0，1]上的分布  

Distribution of Propositional Truth Degree in 4-value Propositional Logic Systems Associated with a Nonlinear Ordering True Value Set

作　　者：左卫兵[1] 李艺星[1] 

机构地区：[1]华北水利水电学院,河南郑州450011

出　　处：《华北水利水电学院学报》2007年第4期107-109,共3页North China Institute of Water Conservancy and Hydroelectric Power

基　　金：河南省自然科学基金项目(0611052600);华北水利水电学院青年科学基金项目(HSQJ2005002)

摘　　要：利用势为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.

关 键 词：真度 真度推理规则 稠密 非线性序集 

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