标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布 |
| |
引用本文: | 李骏,兰倩,夏亚峰.标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布[J].甘肃工业大学学报,2003,29(4):132-136. |
| |
作者姓名: | 李骏 兰倩 夏亚峰 |
| |
作者单位: | [1]兰州理工大学理学院,甘肃兰州730050 [2]兰州理工大学土木工程学院,甘肃兰州730050 |
| |
摘 要: | 利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.
|
关 键 词: | 标准序列逻辑系统 均匀概率空间 真度 稠密性 近似推理 逻辑演算 |
本文献已被 维普 等数据库收录! |
|