期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
标准序列逻辑系统S_3中命题的真度值之集在[0,1]上的分布 被引量:9
1
作者 李骏 兰倩 夏亚峰 《甘肃工业大学学报》 CAS 北大核心 2003年第4期132-136,共5页
利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.
关键词 标准序列逻辑系统 均匀概率空间 真度 稠密性 近似推理 逻辑演算
在线阅读 下载PDF
几个三值命题逻辑系统中命题真度的分布 被引量:6
2
作者 茹永梅 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第4期6-10,共5页
利用势为3的均匀概率空间的无穷乘积在W3、G3、Π3及S3系统中引入了公式的真度概念,得到了命题真度分布的一些性质,同时给出了三值真度推理规则.证明了以上各系统中的全体公式的真度值之集在[0,1]上是稠密的,并给出了其中公式真度的表... 利用势为3的均匀概率空间的无穷乘积在W3、G3、Π3及S3系统中引入了公式的真度概念,得到了命题真度分布的一些性质,同时给出了三值真度推理规则.证明了以上各系统中的全体公式的真度值之集在[0,1]上是稠密的,并给出了其中公式真度的表达通式,即若A∈F(S),则τ(A)=3kn(n=1,2,…,k=0,1,…,3n).此项研究为进一步建立三值命题逻辑的近似推理理论奠定了基础,并且使W3,G3,Π3及S3系统中公式的真度有了统一的理论体系. 展开更多
关键词 数理逻辑 真度 三值真度推理规则 三值逻辑测度 稠密
在线阅读 下载PDF
非线性序集逻辑系统L4^2中命题真度值在[0,1]上的分布 被引量:10
3
作者 左卫兵 李艺星 《华北水利水电学院学报》 2007年第4期107-109,共3页
利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念,给出了真度推理规则,证明了真值集为非线性序集四值逻辑系统L24中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立四值非线性序集逻辑系统的近似推理理论奠... 利用势为4的均匀概率空间的无穷乘积在四值逻辑系统中引入公式的真度概念,给出了真度推理规则,证明了真值集为非线性序集四值逻辑系统L24中全体公式的真度值之集在[0,1]上是稠密的,为进一步建立四值非线性序集逻辑系统的近似推理理论奠定了基础. 展开更多
关键词 真度 真度推理规则 稠密 非线性序集
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部