三值标准序列逻辑中的α-真度理论 |
| |
引用本文: | 李骏,孟新友,李建生.三值标准序列逻辑中的α-真度理论[J].兰州理工大学学报,2007,33(1):143-145. |
| |
作者姓名: | 李骏 孟新友 李建生 |
| |
作者单位: | 兰州理工大学,理学院,甘肃,兰州,730050;兰州理工大学,理学院,甘肃,兰州,730050;兰州理工大学,理学院,甘肃,兰州,730050 |
| |
摘 要: | 基于均匀概率空间的无穷乘积,在三值标准序列逻辑系统中引入命题的α-真度概念,讨论了α-真度和α-重言式及矛盾式间的关系,给出了一般真度推理规则,为进一步引入命题间的α-相似度及伪度量奠定了基础.
|
关 键 词: | α-真度 真度 相似度 伪度量 |
文章编号: | 1673-5196(2007)01-0143-03 |
收稿时间: | 2005-09-07 |
修稿时间: | 2005年9月7日 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|