江西省自然科学基金(0611052)
- 作品数：9 被引量：3H指数：1
- 相关作者：覃锋李伟才易志洪王三民王丹更多>>
- 相关机构：江西师范大学石家庄学院南昌大学更多>>
- 发文基金：江西省自然科学基金国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- R_0-代数的子直积不可约表示定理被引量：1
- 2007年
- 借助于素理想族,刻画了R0-代数的不可约表示定理,即证明了R0-代数M有不可约表示当且仅当存在φP,使得∩=φ{0}并且[M]φ是原子的,这里P是R0-代数M的全体素理想之集。
- 覃锋李伟才易志洪
- 关键词：R0-代数素理想不可约表示
- 离散三角子模被引量：1
- 2009年
- 为了构造离散三角模,引入了离散三角子模的概念,给出了生成离散三角(子)模的方法;然后讨论了光滑离散三角子模的结构。
- 李伟才覃锋王丹蔡惠萍
- 关键词：模糊集光滑性
- 关于Lukasiewicz系统中强蕴涵算子构造的若干结果
- 2009年
- 首先证明了Lukasiewicz系统中的公式┐xmyn,┐mxny,┐xmny,┐mxyn是强蕴涵算子,接着指出任意两个Lukasiewicz强蕴涵算子的合取和析取都是强蕴涵算子,最后对构造Lukasiewicz强蕴涵算子的问题提出了几点看法。
- 孙焱平王三民李刚刘清华
- 关键词：MV-代数
- 格上零模及其性质
- 2007年
- 引入格上零模概念,讨论了格上零模的性质,给出了其构造方法,最后研究了一类特殊的格上零模——乘积格上零模,讨论了其性质,给出了其构造方法.
- 李伟才覃锋易志洪
- 关于两类布尔迭代律的注记
- 2008年
- 给出了SD(TD)-QL蕴涵满足布尔迭代律函数方程I(x,y)=I(x,I(x,y))的充要条件,然后在标准理论([0,1],T,S,N)的框架下给出了布尔迭代律函数方程S(a,b)=S(T(a,b),T(S(a,b),N(T(a,b))))有解的2个充分条件。
- 易志洪覃锋张红霞
- 关键词：三角模
- 模糊逻辑系统UL^＊不具有标准完备性
- 2007年
- 证明了由Cignoli等人提出的模糊逻辑系统L∏G的特征,公理(L∏G)是张小红提出的UL*系统的重言式,但不是UL*系统的定理,这一结果表明UL*系统不具备标准完备性。
- 何义平王三民
- 有限链上的三角子模
- 2009年
- 为了构造有限链上的三角模,引入了有限链上的三角子模的概念,给出了生成有限链上的三角子模三角模的方法;然后讨论了有限链上的光滑三角子模的结构。
- 李伟才覃锋易志洪
- 关键词：三角模
- 关于QL-算子的第一变元反序性
- 2009年
- 研究了由连续三角模T,连续三角余模S和严格否定n生成的QL-算子I=(x,y)=S(n(x),T(x,y)),给出了该算子的部分类型成为模糊蕴涵的充要条件,推广了参考文献[8]的相应结论。
- 兰丽英覃锋
- 关键词：三角模模糊蕴涵
- 有限链上的左(右)零模被引量：2
- 2007年
- 为了更好地描述信息的聚合,有限链上的左(右)nullnorm的概念被引入。然后,各种光滑的左(右)nullnorm的结构定理被给出,即给出了一个二元运算是光滑的左(右)nullnorm的充要条件。
- 覃锋易志洪李伟才
- 关键词：光滑性
