三值乘积逻辑系统π3中的随机化研究 |
| |
引用本文: | 屠桂晶,张兴芳,李成允,李友雨.三值乘积逻辑系统π3中的随机化研究[J].计算机工程与应用,2010,46(14). |
| |
作者姓名: | 屠桂晶 张兴芳 李成允 李友雨 |
| |
作者单位: | 聊城大学,数学科学学院,山东,聊城,252059 |
| |
基金项目: | 国家自然科学基金No.60875034~~ |
| |
摘 要: | 利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。
|
关 键 词: | Dπ3-随机真度 Dπ3-相似度 Dπ3-逻辑度量空间 |
本文献已被 CNKI 万方数据 等数据库收录! |
|