摘要
对三Ⅰ算法的应用范围进行了扩充,得出一类剩余格上的三Ⅰ算法,给出其上三Ⅰ算法P-还原的充分条件,并给出泛逻辑学在k=0.5且相同的h下,基于泛蕴涵的三Ⅰ算法。
Expand the using scope of triple-I algorithm,triple-I algorithm on a kind of residuated lattice is given. The sufficient conditions for the triple-I algorithm P-reductor are given. And the triple-I algorithm based on universal implication is given under k = 0. 5 and same h.
出处
《计算机科学》
CSCD
北大核心
2004年第5期127-129,共3页
Computer Science
基金
国家自然科学基金(批准号:60273087)
