首页 | 本学科首页   官方微博 | 高级检索  
     

有界Heyting代数的扩张模糊LI-理想
引用本文:刘春辉. 有界Heyting代数的扩张模糊LI-理想[J]. 浙江大学学报(理学版), 2021, 48(3): 289-297. DOI: 10.3785/j.issn.1008-9497.2021.03.004
作者姓名:刘春辉
作者单位:赤峰学院 数学与计算机科学学院,内蒙古 赤峰 024000
基金项目:国家自然科学基金资助项目(60774073);内蒙古自治区高等学校科学研究项目(NJZY21138).
摘    要:运用代数学与模糊集的基本原理和运算方法深入研究有界Heyting代数的扩张模糊LI-理想理论。在有界Heyting代数H,,,0,1中,引入了模糊LI-理想f关于H上的模糊子集κ的扩张模糊LI-理想和不变模糊LI-理想概念,给出了扩张模糊LI-理想和不变模糊LI-理想的若干重要性质和等价刻画;讨论了扩张模糊LI-理想与生成模糊LI-理想之间的关系;考查了扩张模糊LI-理想在构造格结构研究中的应用,证明了有界Heyting代数H,,,0,1的模糊LI-理想全体之集FLIH的三类子集在模糊集合包含序?下均构成完备Heyting代数。

关 键 词:直觉逻辑  模糊LI-理想  扩张模糊LI-理想  完备Heyting代数  有界Heyting代数  
收稿时间:2018-10-08

Expand fuzzy LI-ideals in bounded Heyting algebras
LIU Chunhui. Expand fuzzy LI-ideals in bounded Heyting algebras[J]. Journal of Zhejiang University(Sciences Edition), 2021, 48(3): 289-297. DOI: 10.3785/j.issn.1008-9497.2021.03.004
Authors:LIU Chunhui
Affiliation:Department of Mathematics and Computer Science, Chifeng University, Chifeng 024000, Inner Mongolia, China
Abstract:This paper studies,the theory of fuzzy LI-ideals in bounded Heyting algebras using the principles and operation methods of algebra and fuzzy sets.The notions of expand fuzzy LI-ideal and invariant fuzzy LI-ideal of a fuzzy LI-ideal associated with a fuzzy subset κ in a bounded Heyting algebra H,,,0,1are introduced.Some important properties and equivalent characterizations of expand and invariant fuzzy LI-ideals are given.The relation between expand fuzzy LI-ideals and generated fuzzy LI-ideals is discussed.The application of expand fuzzy LI-ideals in studying of lattice structures is investigated,and we prove that three type subsets of the set FLIH which containing all fuzzy LI-ideals in a bounded Heyting algebra H,,,0,1,under fuzzy set-inclusion order?,are form complete Heyting algebras.
Keywords:bounded Heyting algebra  fuzzy LI-ideal  expand fuzzy LI-ideal  complete Heyting algebra  intuitionistic logic  
本文献已被 CNKI 等数据库收录!
点击此处可从《浙江大学学报(理学版)》浏览原始摘要信息
点击此处可从《浙江大学学报(理学版)》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号