您的位置：山东大学 -> 科技期刊社 -> 《山东大学学报（理学版）》

《山东大学学报(理学版)》 ›› 2019, Vol. 54 ›› Issue (2): 57-65.doi: 10.6040/j.issn.1671-9352.0.2018.228

• • 上一篇    下一篇

Heyting代数的扩张模糊滤子

刘春辉   

  1. 赤峰学院数学与统计学院, 内蒙古 赤峰 024001
  • 发布日期:2019-02-25
  • 作者简介:刘春辉(1982— ), 男, 硕士, 副教授, 研究方向为非经典数理逻辑、 Domain理论与拓扑学. E-mail:chunhuiliu1982@163.com
  • 基金资助:
    内蒙古自治区高等学校科学研究项目(NJZY18206)

Expand fuzzy filters in Heyting algebras

LIU Chun-hui   

  1. Department of Mathematics and Statistics, Chifeng University, Chifeng 024001, Inner Mongolia, China
  • Published:2019-02-25

摘要： 运用代数学与模糊集的方法和原理对Heyting代数的模糊滤子理论作进一步深入研究。 引入了Heyting代数(H,≤,→)的模糊滤子f关于H上模糊子集μ的扩张模糊滤子和不变模糊滤子概念, 获得了扩张模糊滤子和不变模糊滤子的若干性质。建立了扩张模糊滤子和生成模糊滤子间的关系, 并利用这一关系给出了扩张模糊滤子在格结构研究中的应用, 证明了一个Heyting代数(H,≤,→)的全体模糊滤子之集FFil(H)的3个特殊子集关于模糊集合包含序都构成完备Heyting代数。

关键词: 模糊逻辑, Heyting代数, 模糊滤子, 扩张模糊滤子, 不变模糊滤子

Abstract: The theory of fuzzy filters is studied in Heyting algebras by using the methods and principles of algebra and fuzzy sets. The notions of expand fuzzy filter and invariant fuzzy filter of a fuzzy filter f associated to a fuzzy subset μ in a Heyting algebra(H,≤,→)are introduced. Some properties of expand and invariant fuzzy filters are obtained. The relation between expand fuzzy filters and generated fuzzy filters is built, and the application of expand fuzzy filters in study of lattice structures is given by using this relation. We proved that three subsets of the set FFil(H)of containing all fuzzy filters in a Heyting algebra(H,≤,→), under fuzzy set-inclusion order, are form complete Heyting algebras.

Key words: fuzzy logic, Heyting algebra, fuzzy filter, expand fuzzy filter, invariant fuzzy filter

中图分类号: 

  • O141.1
[1] VICKERS S. Topology via logic[M]. Cambridge: Cambridge University Press, 1989.
[2] 贺伟. Heyting代数的谱空间[J]. 数学进展, 1998, 27(2):44-47. HE Wei. Spectrums of Heyting algebras[J]. Advances in Mathematics, 1998, 27(2):44-47.
[3] 徐晓泉, 熊华平, 杨金波. 近性Heyting代数[J]. 数学年刊: A辑, 2000, 21(2):165-174. XU Xiaoquan, XIONG Huaping, YANG Jinbo. Proximity Heyting algenras[J]. Chinese Annals of Mathematics: A, 2000, 21(2):165-174.
[4] 李志伟, 郑崇友. Heyting代数与fuzzy蕴涵代数[J]. 数学杂志, 2002, 22(2):237-240. LI Zhiwei, ZHENG Chongyou. Heyting algebras and fuzzy implication algebras[J]. Journal of Mathematics, 2002, 22(2):237-240.
[5] 王习娟, 贺伟. 关于topos中的内蕴Heyting代数对象[J]. 数学杂志, 2011, 31(6):979-998. WANG Xijuan, HE Wei. On the Heyting algebra objects in topos[J]. Journal of Mathematics, 2011, 31(6):979-998.
[6] 吴洪博, 石慧君. Heyting系统及其H-Locale化形式[J]. 数学学报, 2012, 55(6):1119-1130. WU Hongbo, SHI Huijun. Heyting system and its H-Localification[J]. Acta Mathematica Sinica, 2012, 55(6):1119-1130.
[7] 吴洪博, 石慧君. Heyting 系统及其H-空间化表示形式[J]. 电子学报, 2012, 50(5):995-999. WU Hongbo, SHI Huijun. Heyting system and its representation by H-spatilization[J]. Acta Electronica Sinica, 2012, 50(5):995-999.
[8] 郑崇友, 樊磊, 崔宏斌.Frame与连续格[M].北京: 首都师范大学出版社, 2000. ZHENG Chongyou, FAN Lei, CUI Hongbin. Frame and continuous lattices[M]. Beijing: Capital Normal University Press, 2000.
[9] 姚卫. Heyting代数中的滤子、同构定理及其范畴Heyt[D]. 西安: 陕西师范大学, 2005. YAO Wei. Filters and isomorphims theorems in Heyting algebra and its category Heyt[D]. Xian: Shaanxi Normal University, 2005.
[10] 王伟. 非可换逻辑代数的滤子及模糊化理论[D]. 西安: 西北大学, 2010. WANG Wei. Filters and its fuzzification theory of non-commutative logical algebras[D]. Xian: Northwest University, 2010.
[11] ZADEH L A. Fuzzy sets[J]. Information and Control, 1965, 8:338-353.
[12] 刘春辉. Heyting代数的模糊滤子格[J]. 山东大学学报(理学版), 2013, 48(12):57-60. LIU Chunhui. Lattice of fuzzy filters in a Heyting algebra[J]. Journal of Shandong University(Natural Science), 2013, 48(12):57-60.
[13] 刘春辉. Heyting代数的扩张滤子[J]. 数学的实践与认识, 2017, 47(22):255-261. LIU Chunhui. Expand filters in Heyting algebras[J]. Journal of Mathematics in Practice and Theory, 2017, 47(22):255-261.
[14] 刘春辉. Heyting代数的不变滤子[J]. 数学的实践与认识, 2018, 48(12):240-246. LIU Chunhui. Invariant filters in Heyting algebras[J]. Journal of Mathematics in Practice and Theory, 2018, 48(12):240-246.
[15] DAVEY B A, PRIESTLEY H A. Introduction to lattices and order[M]. Cambridge: Cambridge University Press, 2002.
[1] 刘春辉. Fuzzy蕴涵代数的素犹豫模糊滤子及其谱空间[J]. 《山东大学学报(理学版)》, 2023, 58(12): 108-117.
[2] 刘春辉. 有界Heyting代数上基于理想的一致拓扑空间[J]. 《山东大学学报(理学版)》, 2022, 57(11): 10-20.
[3] 刘春辉. 非对合剩余格的犹豫模糊理想[J]. 《山东大学学报(理学版)》, 2021, 56(2): 7-16.
[4] 赵马盼,樊丰丽,颉永建. Heyting代数的布尔原子及其应用[J]. 《山东大学学报(理学版)》, 2020, 55(5): 71-80.
[5] 刘春辉,张海燕,李玉毛. 否定非对合剩余格的双极值模糊理想格[J]. 《山东大学学报(理学版)》, 2019, 54(9): 29-35.
[6] 刘春辉,李玉毛,张海燕. 否定非对合剩余格的双极值模糊理想[J]. 《山东大学学报(理学版)》, 2019, 54(5): 88-98.
[7] 刘春辉. 否定非对合剩余格的双极值模糊素理想[J]. 《山东大学学报(理学版)》, 2019, 54(11): 71-80.
[8] 刘春辉. 可换BR0-代数在一般集合上的蕴涵表示形式[J]. 山东大学学报（理学版）, 2018, 53(6): 86-94.
[9] 彭家寅. 剩余格上的落影模糊滤子[J]. 山东大学学报（理学版）, 2018, 53(2): 52-64.
[10] 梁颖,崔艳丽,吴洪博. 基于BL系统的演绎系统集代数的剩余格属性[J]. 山东大学学报（理学版）, 2017, 52(11): 65-70.
[11] 刘春辉. BL代数的(,∨(-overq))-模糊滤子格[J]. 山东大学学报（理学版）, 2017, 52(10): 104-110.
[12] 乔希民,吴洪博. 区间集上非交换剩余格的〈,(-overQ)〉-fuzzy滤子及其特征刻画[J]. 山东大学学报（理学版）, 2016, 51(2): 102-107.
[13] 周建仁, 吴洪博. IMTL逻辑系统的一种新扩张形式[J]. 山东大学学报（理学版）, 2015, 50(12): 28-34.
[14] 寇海燕, 吴洪博. MTL代数的Wajsberg形式及其应用[J]. 山东大学学报（理学版）, 2015, 50(02): 75-82.
[15] 刘春辉. 正则剩余格的模糊超⊙-理想[J]. 山东大学学报（理学版）, 2014, 49(12): 87-94.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
版权所有 © 2018 《山东大学学报(理学版)》编辑部　
地址: 山东省济南市山大南路27号山东大学中心校区（250100）　电话: +86-0531-88366917　E-mail: xblxb@sdu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发