期刊文献+

MTL代数中的布尔滤子和正蕴涵滤子

A Boolean And Positive Implicative Filter In MTL-algebra
下载PDF
导出
摘要 在MTL代数中,给出布尔滤子的几种等价刻画,提出了正蕴涵滤子和固执滤子的概念,讨论了它们的一些基本性质,得到几类滤子之间及相互转化的关系。证明在满足正则性的MTL代数中,布尔滤子和正蕴涵滤子相互等价,超滤和固执滤子相互等价。 In MTL - algebra, give several characteristic properties of Boolean filter. Propose the concepts of a positive implicative and obstinate filter. Discuss their some properties and the relations between all kinds of filters. In IMTL- algebra( MTL- algebra satisfying the involutive law) ,prove that a positive implicative filter is equivalent to a Boolean filter, and an obstinate filter is also equivalent to an ultra filter.
作者 吴苏朋
机构地区 安康学院数学系
出处 《云南师范大学学报(自然科学版)》 2009年第2期33-37,共5页 Journal of Yunnan Normal University:Natural Sciences Edition
基金 国家自然科学基金资助项目(1077129) 安康学院专项科研计划资助项目(2007AKXY022)
关键词 MTL代数 布尔滤子 正蕴涵滤子 固执滤子 MTL- algebra a Boolean filter a positive implicative filter an obstinate filter
  • 相关文献

参考文献12

  • 1王国俊.非经典数理逻辑与近似推理[M].北京:科学出版社,2003.
  • 2Pavelka J. On fuzzy logic ( II ) [ J ]. Z. Math. Logik Grund. Math. , 1979,25 ( 1 ) : 119 - 134.
  • 3P. Hajek. Metamathematics of Fuzzy Logic[ M ]. Kluwer Academic Publishers, Dordrecht, 1998.
  • 4Esteva F. , Godo L Monoidal t - norm - based logic : towards a logic for left - continuous [ J ]. Fuzzy Sets and Systems, 2001,12:271 - 288.
  • 5裴道武.R_0代数中的蕴涵滤子与同余关系[J].西安联合大学学报,2000,3(4):24-29. 被引量:33
  • 6Zhang Xiao -hong On Filters in MTL- algebras: Brief Report [ J ] Advances in Systems Science and Applications,2007,7 ( 1 ) :32 -38
  • 7Liu L Z, Li K T. Fuzzy Boolean and positive implicative filters of BL -algebras [ J ], Fuzzy Sets and Systems,2005,152: 333 - 348.
  • 8Kim K H, Zhang Q, Young Bae Jun. On fuzzy filters of MTL - algebras[J]. J. Fuzzy. Math,2002,10(4) :981 -989.
  • 9Jun Young - Bae, Xu Yang, Zhang Xiao Hong. Fuzzy filters of MTL - algebras[ J]. Informati on Sciences,2005,175 : 120 - 138.
  • 10裴道武.MTL代数的特征定理[J].数学学报(中文版),2007,50(6):1201-1206. 被引量:27

二级参考文献13

共引文献121

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部