期刊文献+

有界Heyting代数的扩张模糊LI-理想 被引量:2

Expand fuzzy LI-ideals in bounded Heyting algebras
下载PDF
导出
摘要 运用代数学与模糊集的基本原理和运算方法深入研究有界Heyting代数的扩张模糊LI-理想理论。在有界Heyting代数(H,≤→ ,0,1)中,引入了模糊LI-理想∫关于H上的模糊子集κ的扩张模糊LI-理想和不变模糊LI-理想概念,给出了扩张模糊LI-理想和不变模糊LI-理想的若干重要性质和等价刻画;讨论了扩张模糊LI-理想与生成模糊LI-理想之间的关系;考查了扩张模糊LI-理想在构造格结构研究中的应用,证明了有界Heyting代数(H,≤,→ ,0,1)的模糊LI-理想全体之集FLI(H)的三类子集在模糊集合包含序■下均构成完备Heyting代数。 This paper studies, the theory of fuzzy LI-ideals in bounded Heyting algebras using the principles andoperation methods of algebra and fuzzy sets.The notions of expand fuzzy LI-ideal and invariant fuzzy LI-ideal of a fuzzyLI-ideal associated with a fuzzy subset κ in a bounded Heyting algebra (H,≤→ ,0,1)are introduced.Some importantproperties and equivalent characterizations of expand and invariant fuzzy LI-ideals are given. The relation betweenexpand fuzzy LI-ideals and generated fuzzy LI-ideals is discussed.The application of expand fuzzy LI-ideals in studyingof lattice structures is investigated, and we prove that three type subsets of the set FLI (H) which containing all fuzzyLI-ideals in a bounded Heyting algebra (H,≤,→ ,0,1), under fuzzy set-inclusion order■, are form complete Heytingalgebras.
作者 刘春辉 LIU Chunhui(Department of Mathematics and Computer Science,Chifeng University,Chifeng 024000,Inner Mongolia,China)
出处 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2021年第3期289-297,共9页 Journal of Zhejiang University(Science Edition)
基金 国家自然科学基金资助项目(60774073) 内蒙古自治区高等学校科学研究项目(NJZY21138).
关键词 直觉逻辑 有界Heyting代数 模糊LI-理想 扩张模糊LI-理想 完备Heyting代数 intuitionistic logic bounded Heyting algebra fuzzy LI-ideal expand fuzzy LI-ideal complete Heyting algebra
  • 相关文献

参考文献9

二级参考文献26

  • 1包洪亮,韩胜伟.Heyting代数上的运算与nucleus[J].广西师范学院学报(自然科学版),2004,21(3):12-14. 被引量:1
  • 2S Vickers. Topology via Logic[ M]. Cambridge: Cambridge U- niversity Press, 1989. 被引量:1
  • 3R Engelking. General Topology [ M ]. Warszawa: Panstwowe Wgdawnictwo Naukowe, 1977. 被引量:1
  • 4Wang Guo-jun. Theory of topological molecular lattices[ J]. Fuzzy sets and systems, 1992,47:351 -376. 被引量:1
  • 5王国俊.数理逻辑引论与归结原理[M].北京:科学出版社,2002(第一版),2009(第二版). 被引量:1
  • 6Xu Yang, Yuan Da, Qin Keyun, Liu Jun. Lattice-Valued Logic [ M ]. Berlin: Springer-Verlag, 2003,. 被引量:1
  • 7Chen Yixiang. Semitopological systems[ J]. Journal of Mathe- matical Reserch & Exposition, 1998,18 ( 4 ) : 479 - 486. 被引量:1
  • 8Vickers S. Topology Via Logic[M]. Cambridge: Cambridge University Press, 1996. 被引量:1
  • 9Zadeh L A. Fuzzy sets[J]. Information and Control, 1965, 8(3): 338-353. 被引量:1
  • 10王习娟,贺伟.完备布尔代数商格的注(英文)[J].数学杂志,2009,29(2):133-138. 被引量:3

共引文献67

同被引文献26

引证文献2

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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