检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机工程与应用》2016年第4期1-5,共5页Computer Engineering and Applications
基 金:国家自然科学基金(No.11261032)
摘 要:讨论了一类左连续的三角模(即,F-λ三角模)的结构,基于F-λ三角模给出了几种新的三角模族及与之相伴随的蕴涵算子族。证明了用此类三角模所建立的逻辑系统正是WNM逻辑系统,讨论了NM,NMG,Godel及RDP三角模与F-λ三角模的关系,并由此出发证明了NM,NMG,Godel及RDP等逻辑系统都是WNM逻辑系统的扩张。In the present paper,the structure of a class of left-continuous triangular norms,namely,F-λ triangular norms,is discussed. Based on F-λ triangular norms,several new families of triangular norms and families of implication operators associated with them are given. It is proved that the logical system built by F-λ triangular norms is just the WNM logical system,relations between triangular norms of NM,NMG,Godel as well as RDP and F-λ ones are discussed respectively,from this,the fact that logical systems NM,NMG,Godel as well as RDP are all the axiomatic extension of WNM logical system is proved.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.148.202.164