Fuzzy蕴涵代数及其理想理论

doi:10.3785/j.issn.1008-9497.2023.04.001

浙江大学学报（理学版）

2023, Vol. 50

Issue (4): 391-401 DOI: 10.3785/j.issn.1008-9497.2023.04.001

数学与计算机科学

Fuzzy蕴涵代数及其理想理论

刘春辉(

)

赤峰学院教育科学学院，内蒙古赤峰 024000

Fuzzy implication algebras and its ideals theory

Chunhui LIU(

)

Education Science College，Chifeng University，Chifeng 024000，Inner Mongolia Autonomous Regions，China

全文: PDF(1132 KB)

HTML( 38 )

摘要：

模糊逻辑代数分析是模糊逻辑研究领域的热点问题之一。运用代数学和格论的方法及原理，深入研究了Fuzzy蕴涵代数及其理想问题。首先，利用伪补算子给出了Fuzzy蕴涵代数的若干新性质。其次，在Fuzzy蕴涵代数中引入理想和生成理想的概念并考察其性质特征和等价刻画。最后，讨论了由给定Fuzzy蕴涵代数全体理想构成的集合的格论特征，证明了该集合关于集合包含序构成分配的连续（代数）格，特别地构成完备Heyting代数，进而构成Frame的重要结论。

关键词： 模糊逻辑; Fuzzy蕴涵代数; 理想; 生成理想; 分配格; 连续格

Abstract:

Algebraic analysis of fuzzy logic is one of the hot issues in the field of fuzzy logic research. In this paper, Fuzzy implication algebras and its ideals problem are further studied by using the method and principle of algebra and lattice theory. Firstly, some new properties of Fuzzy implication algebras are revealed by using pseudo-complement operators. Secondly, the concepts of ideal and generating ideal are introduced in Fuzzy implication algebras, and their properties and equivalent characterizations are investigated. Finally, the lattice theory characteristics of the set consisting of all ideals in a given Fuzzy implication algebra are discussed, it is proved that the set forms a distributive continuous (algebraic) lattice with respect to the set-inclusion order, in particular, it forms a complete Heyting algebra, and then forms a Frame.

Key words: fuzzy logic Fuzzy implication algebra ideal generating ideal distributive lattice continuous lattice

收稿日期: 2022-05-09 出版日期: 2023-07-17

CLC:

O 141.1

基金资助: 内蒙古自治区高等学校科学研究项目(NJZY21138);内蒙古自治区社会科学基金项目(2022DY31);内蒙古残疾人联合会研究项目(2023KTYJ19);赤峰学院2022年教育教学研究重点项目(JYJXZ202204)

作者简介: 刘春辉（1982—），ORCID：https：//orcid.org/0000-0002-4964-3934，男，硕士，教授，主要从事非经典数理逻辑代数及Domain理论研究，E-mail：chunhuiliu1982@163.com.

	服务
	把本文推荐给朋友
	加入引用管理器
	E-mail Alert
	RSS
	作者相关文章
	刘春辉

引用本文:

刘春辉. Fuzzy蕴涵代数及其理想理论[J]. 浙江大学学报（理学版）, 2023, 50(4): 391-401.

Chunhui LIU. Fuzzy implication algebras and its ideals theory. Journal of Zhejiang University (Science Edition), 2023, 50(4): 391-401.

链接本文:

https://www.zjujournals.com/sci/CN/10.3785/j.issn.1008-9497.2023.04.001 或 https://www.zjujournals.com/sci/CN/Y2023/V50/I4/391

$→$	$0$	$a$	$b$	$c$	$1$
$0$	$1$	$1$	$1$	$1$	$1$
$a$	$b$	$1$	$1$	$1$	$1$
$b$	$a$	$a$	$1$	$1$	$1$
$c$	$0$	$a$	$b$	$1$	$1$
$1$	$0$	$a$	$b$	$c$	$1$

表1 X上二元运算→的定义

图1 验证 I=0，a∈IdealX 的Mathematica程序

$→$	$0$	$a$	$b$	$c$	$d$	$1$
$0$	$1$	$1$	$1$	$1$	$1$	$1$
$a$	$c$	$1$	$1$	$1$	$1$	$1$
$b$	$b$	$b$	$1$	$1$	$1$	$1$
$c$	$a$	$a$	$b$	$1$	$1$	$1$
$d$	$0$	$a$	$b$	$c$	$1$	$1$
$1$	$0$	$a$	$b$	$c$	$d$	$1$

表2 X上二元运算→的定义

1	王国俊. 非经典数理逻辑与近似推理［M］. 北京：科学出版社， 2003. WANG G J. Non-Classical Mathematical Logic and Approximate Reasoning［M］. Beijing： Science Press， 2003.
2	CHANG C C. Algebraic analysis of many valued logics［J］. Transactions of the American Mathematical Society， 1958， 88（2）： 467-490. doi:10.1090/s0002-9947-1958-0094302-9 doi: 10.1090/s0002-9947-1958-0094302-9
3	XU Y， RUAN D， QIN K Y， et al. Lattice-Valued Logic［M］. Berlin： Springer， 2004. doi:10.1007/978-3-540-44847-1_9 doi: 10.1007/978-3-540-44847-1_9
4	WANG G J， ZHOU H J. Introduction to Mathematical Logic and Resolution Principle［M］. 2nd ed. Beijing： Science Press， 2009. doi:10.1201/9781584888772 doi: 10.1201/9781584888772
5	HÁJEK P. Metamathematics of Fuzzy Logic［M］. Dordrecht： Kluwer Academic Publishers， 1998. DOI：10.1023/a：1021801709132 doi: 10.1023/a：1021801709132
6	HÁJEK P. Basic fuzzy logic and BL-algebras［J］. Soft Computing， 1998， 2（3）： 124-128. DOI：10. 1007/s005000050043 doi: 10. 1007/s005000050043
7	ESTEVA F， GODO L. Monoidal t-norm based logic： Towards a logic for left-continuous t-norms［J］. Fuzzy Sets and Systems， 2001， 124（3）： 271-288. DOI：10.1016/S0165-0114（01）00098-7 doi: 10.1016/S0165-0114（01）00098-7
8	吴望名. Fuzzy蕴涵代数［J］. 模糊系统与数学， 1990， 4（1）： 56-64. WU W M. Fuzzy implication algebras［J］. Fuzzy Systems and Mathematics， 1990， 4（1）： 56-64.
9	刘练珍，王国俊. Fuzzy蕴涵代数与MV代数［J］. 模糊系统与数学， 1998， 12（1）： 20-25. LIU L Z， WANG G J. Fuzzy implication algebras and MV algebras［J］. Fuzzy Systems and Mathematics， 1998， 12（1）： 20-25.
10	吴达. 交换Fuzzy蕴涵代数［J］. 模糊系统与数学， 1999， 13（1）： 27-30. WU D. Commutative Fuzzy implication algebras［J］. Fuzzy Systems and Mathematics， 1999， 13（1）： 27-30.
11	张花荣，兰蓉. 剩余格与FI代数的可嵌入性［J］. 模糊系统与数学， 2003， 17（1）： 18-23. DOI：10.3969/j.issn.1001-7402.2003.01.003 ZHANG H R， LAN R. The embeddability of residuated lattice and FI algebras［J］. Fuzzy Systems and Mathematics， 2003， 17（1）： 18-23. DOI：10. 3969/j.issn.1001-7402.2003.01.003 doi: 10. 3969/j.issn.1001-7402.2003.01.003
12	刘练珍，李开泰. FI代数同构于一族全序FI代数的直积的子代数的条件［J］. 纯粹数学与应用数学， 2004， 20（1）： 63-67. DOI：10.3969/j.issn.1008-5513. 2004.01.013 LIU L Z， LI K T. The conditions of FI algebra to be a subalgebra of direct product of a system of linearly ordered FI algebras［J］. Pure and Applied Mathematics， 2004， 20（1）： 63-67. DOI：10.3969/j.issn.1008-5513.2004.01.013 doi: 10.3969/j.issn.1008-5513.2004.01.013
13	朱怡权. 基于FI代数的一个逻辑系统［J］. 模糊系统与数学， 2005， 19（2）： 25-29. doi:10.3969/j.issn.1001-7402.2005.02.005 ZHU Y Q. A logic system based on FI-algebras and its completeness［J］. Fuzzy Systems and Mathematics， 2005， 19（2）： 25-29. doi:10.3969/j.issn.1001-7402.2005.02.005 doi: 10.3969/j.issn.1001-7402.2005.02.005
14	朱怡权，曹喜望. 关于PFI代数与剩余格［J］. 数学进展， 2006， 35（2）： 223-231. doi:10.3969/j.issn.1000-0917.2006.02.013 ZHU Y Q， CAO X W. On PFI-algebras and residuated lattices［J］. Advances in Mathematics， 2006，35（2）： 223-231. doi:10.3969/j.issn.1000-0917.2006.02.013 doi: 10.3969/j.issn.1000-0917.2006.02.013
15	刘春辉，徐罗山. Fuzzy蕴涵代数的MP滤子［J］. 模糊系统与数学， 2009， 23（2）： 1-6. LIU C H， XU L S. MP-filters of Fuzzy implication algebras［J］. Fuzzy Systems and Mathematics， 2009， 23（2）： 1-6.
16	裴道武，王三民，王瑞. 模糊蕴涵格理论［J］. 高校应用数学学报， 2011， 26（3）： 343-354. DOI：10. 3969/j.issn.1000-4424.2011.03.012 PEI D W， WANG S Y， WANG R. Theory of fuzzy implication lattices［J］. Applied Mathematics A Journal of Chinese Universities， 2011， 26（3）： 343-354. DOI：10.3969/j.issn.1000-4424.2011.03.012 doi: 10.3969/j.issn.1000-4424.2011.03.012
17	PEI D W. A survey of Fuzzy implication algebras and their axiomatization［J］. International Journal of Approximate Reasoning， 2014， 55（8）： 1643-1658. DOI：10.1016/j.ijar.2014.05.008 doi: 10.1016/j.ijar.2014.05.008
18	刘春辉. Fuzzy蕴涵代数的滤子理论［J］. 山东大学学报（理学版）， 2013，48（9）： 73-77. LIU C H. Theory of filters in Fuzzy implication algebras［J］. Journal of Shandong University （Science Edition）， 2013，48（9）： 73-77.
19	关晓红，许格妮. FI代数的模糊滤子［J］. 模糊系统与数学， 2012， 26（6）： 74-77. DOI：10.3969/j.issn.1001-7402.2012.06.011 GUAN X H， XU G N. Fuzzy filters of FI-algebras［J］. Fuzzy Systems and Mathematics， 2012， 26（6）： 74-77. DOI：10.3969/j.issn.1001-7402.2012.06.011 doi: 10.3969/j.issn.1001-7402.2012.06.011
20	LIU C H， XU L S. Fuzzy MP-filters lattices on a given FI-algebra［J］. Chinese Quarterly Journal of Mathematics， 2013， 28（4）： 625-632.
21	MICHIRO K， WIESLAW A D. Filter theory of BL-algebras［J］. Soft Computing， 2008， 12： 419-423. DOI：10.1007/s00500-007-0178-7 doi: 10.1007/s00500-007-0178-7
22	ZHU Y Q， XU Y. On filter theory of residuated lattices［J］. Information Sciences， 2010， 180（19）： 3614-3632. DOI：10.1016/j.ins.2010.05.034 doi: 10.1016/j.ins.2010.05.034
23	LIU Y L， LIU S Y， XU Y， et al. ILI-ideals and prime LI-ideals in lattice implication algebras［J］. Information Sciences， 2003， 155（1/2）： 157-175. DOI：10.1016/S0020-0255（03）00159-2 doi: 10.1016/S0020-0255（03）00159-2
24	刘春辉. 有界Heyting代数的扩张模糊LI-理想［J］. 浙江大学学报（理学版）， 2021， 48（3）： 289-297. DOI：10.3785/j.issn.1008-9497.2021.03.004 LIU C H. Expand fuzzy LI-ideals in bounded Heyting algebras［J］. Journal of Zhejiang University （Science Edition）， 2021， 48（3）： 289-297. DOI：10. 3785/j.issn.1008-9497.2021.03.004 doi: 10. 3785/j.issn.1008-9497.2021.03.004
25	ZHANG X H， WANG K Y， DUDEK W A. Ultra LI-ideals in lattice implication algebras and MTL-algebras［J］. Czechoslovak Mathematical Journal， 2007， 57（132）： 591-605. DOI：10.1007/s10587-007-0100-6 doi: 10.1007/s10587-007-0100-6
26	LELE C， NGANOU J B. MV-algebras derived from ideals in BL-algebras［J］. Fuzzy Sets and Systems， 2013， 218： 103-113. doi:10.1016/j.fss.2012.09.014 doi: 10.1016/j.fss.2012.09.014
27	刘春辉. 否定非对合剩余格的LI-理想理论［J］. 高校应用数学学报， 2015， 30（4）： 445-456. DOI：10. 3969/j.issn.1000-4424.2015.04.008 LIU C H. LI-ideals theory in negative non-involutive residuated lattices［J］. Applied Mathematics A Journal of Chinese Universities， 2015， 30（4）： 445-456. DOI：10.3969/j.issn.1000-4424.2015.04.008 doi: 10.3969/j.issn.1000-4424.2015.04.008
28	LIU Y， QIN Y， QIN X Y， et al. Ideals and Fuzzy ideals on residuated lattices［J］. International Journal of Machine Learning and Cybernetics， 2017， 8（1）： 239-253. DOI：10.1007/s13042-014-0317-2 doi: 10.1007/s13042-014-0317-2
29	LIU C H， XU L S. Prime LI-ideal spaces of MTL-algebras［J］. International Journal of Algebra， 2020， 14（4）： 213-222. DOI：10.12988/ija.2020. 91259 doi: 10.12988/ija.2020. 91259

[1]	邵海琴,梁茂林,何建伟. 滤子软偏序半群研究[J]. 浙江大学学报（理学版）, 2023, 50(5): 521-526.
[2]	程晓云,王军涛,杨青,侯亚军. BCK-代数的稳定化子[J]. 浙江大学学报（理学版）, 2023, 50(1): 20-24.
[3]	吴琼淄,刘媛媛,廖波,卢诗展. 理想 $D$ 空间和理想scattered空间在信息系统中的应用[J]. 浙江大学学报（理学版）, 2023, 50(1): 43-48.
[4]	刘春辉. 有界Heyting代数的扩张模糊LI-理想[J]. 浙江大学学报（理学版）, 2021, 48(3): 289-297.
[5]	刘春辉. FI代数上基于模糊滤子的一致拓扑空间[J]. 浙江大学学报（理学版）, 2018, 45(5): 521-528.
[6]	童娟, 廖祖华, 赵衍才, 廖翠萃, 张龙祥, 路腾, 吴树忠. 格的反软理想[J]. 浙江大学学报（理学版）, 2017, 44(1): 33-39.
[7]	乔希民, 吴洪博. 区间集上非交换剩余格<∈,∈∪Q>-fuzzy滤子的构造[J]. 浙江大学学报（理学版）, 2016, 43(2): 127-133.

Viewed

Full text

Abstract

Cited

Shared

Discussed