非可换逻辑代数的滤子及模糊化理论
|
摘要
非可换逻辑代数是非可换逻辑相应的代数结构.BL代数是基本逻辑(Basic Logic)系统的代数结构,而伪BL代数是BL代数的非可换推广.非可换剩余格又是伪BL代数、伪MTL代数等的推广.我们在研究工作中,发现上述非可换逻辑代数结构可以通过滤子及模糊滤子来进行研究和刻画.因而,本文主要研究了几类非可换逻辑代数中的滤子及模糊滤子的理论,为非可换逻辑代数的深入研究奠定了坚实基础.我们所做的具体工作如下：
1.引入并讨论了伪BL代数的模糊滤子、模糊素滤子、模糊布尔滤子、模糊正规滤子、模糊超滤子和模糊固执滤子,研究了相应模糊滤子的性质.由分配格中Stone模糊素理想定理启发,我们在伪BL代数中建立模糊素滤子定理.通过讨论几类模糊滤子之间的关系,特别是模糊布尔滤子和模糊正规滤子的关系,我们解决了一个公开问题,即“在伪BL代数中是否每一个布尔滤子都是正规的.”
2.引入并讨论了伪BL代数的超滤子和固执滤子,讨论了伪BL代数的布尔滤子和正规滤子的关系,采用非模糊化的途径给出了上述公开问题的一种新的解决方法.
3.我们将上述有关工作推广到了剩余格,引入并讨论了剩余格的模糊滤子、模糊素滤子、模糊布尔滤子、模糊正规滤子、模糊超滤子和模糊固执滤子,研究了相应模糊滤子的性质.我们在剩余格中建立模糊素滤子定理.通过讨论几类模糊滤子之间的关系,特别是模糊布尔滤子和模糊正规滤子的关系,我们在剩余格中研究了相应的问题.
4.引入了剩余格的伪G滤子、伪MV滤子、超滤子和固执滤子,研究了相应的性质,特别是研究了布尔滤子和正规滤子的关系.
5.引入了Heyting代数的布尔滤子、素滤子、蕴含滤子、正蕴含滤子、超滤子和固执滤子,定义了Heyting代数的模糊滤子、模糊布尔滤子、模糊素滤子、模糊蕴含滤子、模糊正蕴含滤子、模糊超滤子和模糊固执滤子,并讨论了其相应的性质.进一步,我们证明在Heyting代数中,模糊布尔滤子等价于模糊蕴含滤子,模糊正蕴含滤子等价于模糊滤子,并讨论了这几类滤子之间的关系.最后,我们研究了Heyting代数的直觉模糊滤子,讨论了相应性质,证明了Heyting代数上的上的直觉模糊格滤子等价于直觉模糊滤子.
The non-commutative logical algebras are the algebraic counterpart of the non-commutative logic. BL-algebras are algebraic structure of Basic Logic System. The pseudo BL-algebras are non-commutative extension of BL-algebras and the non-commutative residuated lattices are extension of pseudo BL-algebras and pseudo MTL-algebras. In our research work, we find the structure of the above non-commutative logical algebras can be de-scribed and researched by the tools of filters and fuzzy filters. Therefore, in this dissertation, the theory of filters and fuzzy filters in several kinds of non-commutative logical algebras are studied, which lays a good foundation for the forthcoming deep research in non-commutative logical algebras. Details are as follows:
1. The concepts of fuzzy filters, fuzzy prime filter, fuzzy Boolean fil-ter, fuzzy normal filter, fuzzy ultrafilter and fuzzy obstinate filter of pseudo BL-algebras are introduced and discussed, and the properties of them are studied. Inspired by the Stone Fuzzy Prime Ideal Theory in distributive lat-tice, we construct the Fuzzy Prime Fuzzy Theory in pseudo BL-algebras. By discussing the relations among the above fuzzy filters, especially the relation between fuzzy Boolean filter and fuzzy normal filter, we solve an open prob-lem that "Prove or negate that every Boolean filter is normal in pseudo-BL algebras."
2. The concepts of ultrafilter and obstinate filter of pseudo BL-algebras are introduced and discussed and the relation between Boolean filter and normal filter of pseudo BL-algebras is discussed, by which a new solution for the open problem is found with the method of non-fuzzification.
3. The above research work can be applied to the residuated lattices. The concepts of fuzzy filters, fuzzy prime filter, fuzzy Boolean filter, fuzzy normal filter, fuzzy ultrafilter and fuzzy obstinate filter of residuated lattices are introduced and discussed, and the corresponding properties of them are studied. The Fuzzy Prime Fuzzy Theory in residuated lattices is constructed. By discussing the relations among the above fuzzy filters, especially the re-lation between fuzzy Boolean filter and fuzzy normal filter, we studied the counterpart problem in residuated lattices.
4. The concepts of pseudo G-filters, pseudo MV-filter, ultrafilter and obstinate filter of residuated lattices are introduced and discussed, and the corresponding properties of them, especially the relation between Boolean filter and normal filter are studied.
5. The concepts of Boolean filter, prime filter, implicative filter, posi-tive implicative filter, ultrafilter and obstinate filter of Heyting algebras are introduced. Then fuzzy filters, fuzzy Boolean filter, fuzzy prime filter, fuzzy implicative filter, fuzzy positive implicative filer, fuzzy ultrafilter and fuzzy obstinate filter of Heyting algebras are defined and the corresponding prop-erties of them are discussed. Furthermore, it is proved that in Heyting al-gebras, fuzzy Boolean filter is equivalent to fuzzy implicative filter, fuzzy positive implicative filer is equivalent to fuzzy filter, and the relations among the above fuzzy filters are discussed. Finally, the intuitionistic fuzzy filter of Heyting algebras is studied, and the corresponding properties of it is stud-ied. Then it is proved that in Heyting algebras, the intuitionistic fuzzy filter is equivalent to the intuitionistic fuzzy filter.
1.引入并讨论了伪BL代数的模糊滤子、模糊素滤子、模糊布尔滤子、模糊正规滤子、模糊超滤子和模糊固执滤子,研究了相应模糊滤子的性质.由分配格中Stone模糊素理想定理启发,我们在伪BL代数中建立模糊素滤子定理.通过讨论几类模糊滤子之间的关系,特别是模糊布尔滤子和模糊正规滤子的关系,我们解决了一个公开问题,即“在伪BL代数中是否每一个布尔滤子都是正规的.”
2.引入并讨论了伪BL代数的超滤子和固执滤子,讨论了伪BL代数的布尔滤子和正规滤子的关系,采用非模糊化的途径给出了上述公开问题的一种新的解决方法.
3.我们将上述有关工作推广到了剩余格,引入并讨论了剩余格的模糊滤子、模糊素滤子、模糊布尔滤子、模糊正规滤子、模糊超滤子和模糊固执滤子,研究了相应模糊滤子的性质.我们在剩余格中建立模糊素滤子定理.通过讨论几类模糊滤子之间的关系,特别是模糊布尔滤子和模糊正规滤子的关系,我们在剩余格中研究了相应的问题.
4.引入了剩余格的伪G滤子、伪MV滤子、超滤子和固执滤子,研究了相应的性质,特别是研究了布尔滤子和正规滤子的关系.
5.引入了Heyting代数的布尔滤子、素滤子、蕴含滤子、正蕴含滤子、超滤子和固执滤子,定义了Heyting代数的模糊滤子、模糊布尔滤子、模糊素滤子、模糊蕴含滤子、模糊正蕴含滤子、模糊超滤子和模糊固执滤子,并讨论了其相应的性质.进一步,我们证明在Heyting代数中,模糊布尔滤子等价于模糊蕴含滤子,模糊正蕴含滤子等价于模糊滤子,并讨论了这几类滤子之间的关系.最后,我们研究了Heyting代数的直觉模糊滤子,讨论了相应性质,证明了Heyting代数上的上的直觉模糊格滤子等价于直觉模糊滤子.
The non-commutative logical algebras are the algebraic counterpart of the non-commutative logic. BL-algebras are algebraic structure of Basic Logic System. The pseudo BL-algebras are non-commutative extension of BL-algebras and the non-commutative residuated lattices are extension of pseudo BL-algebras and pseudo MTL-algebras. In our research work, we find the structure of the above non-commutative logical algebras can be de-scribed and researched by the tools of filters and fuzzy filters. Therefore, in this dissertation, the theory of filters and fuzzy filters in several kinds of non-commutative logical algebras are studied, which lays a good foundation for the forthcoming deep research in non-commutative logical algebras. Details are as follows:
1. The concepts of fuzzy filters, fuzzy prime filter, fuzzy Boolean fil-ter, fuzzy normal filter, fuzzy ultrafilter and fuzzy obstinate filter of pseudo BL-algebras are introduced and discussed, and the properties of them are studied. Inspired by the Stone Fuzzy Prime Ideal Theory in distributive lat-tice, we construct the Fuzzy Prime Fuzzy Theory in pseudo BL-algebras. By discussing the relations among the above fuzzy filters, especially the relation between fuzzy Boolean filter and fuzzy normal filter, we solve an open prob-lem that "Prove or negate that every Boolean filter is normal in pseudo-BL algebras."
2. The concepts of ultrafilter and obstinate filter of pseudo BL-algebras are introduced and discussed and the relation between Boolean filter and normal filter of pseudo BL-algebras is discussed, by which a new solution for the open problem is found with the method of non-fuzzification.
3. The above research work can be applied to the residuated lattices. The concepts of fuzzy filters, fuzzy prime filter, fuzzy Boolean filter, fuzzy normal filter, fuzzy ultrafilter and fuzzy obstinate filter of residuated lattices are introduced and discussed, and the corresponding properties of them are studied. The Fuzzy Prime Fuzzy Theory in residuated lattices is constructed. By discussing the relations among the above fuzzy filters, especially the re-lation between fuzzy Boolean filter and fuzzy normal filter, we studied the counterpart problem in residuated lattices.
4. The concepts of pseudo G-filters, pseudo MV-filter, ultrafilter and obstinate filter of residuated lattices are introduced and discussed, and the corresponding properties of them, especially the relation between Boolean filter and normal filter are studied.
5. The concepts of Boolean filter, prime filter, implicative filter, posi-tive implicative filter, ultrafilter and obstinate filter of Heyting algebras are introduced. Then fuzzy filters, fuzzy Boolean filter, fuzzy prime filter, fuzzy implicative filter, fuzzy positive implicative filer, fuzzy ultrafilter and fuzzy obstinate filter of Heyting algebras are defined and the corresponding prop-erties of them are discussed. Furthermore, it is proved that in Heyting al-gebras, fuzzy Boolean filter is equivalent to fuzzy implicative filter, fuzzy positive implicative filer is equivalent to fuzzy filter, and the relations among the above fuzzy filters are discussed. Finally, the intuitionistic fuzzy filter of Heyting algebras is studied, and the corresponding properties of it is stud-ied. Then it is proved that in Heyting algebras, the intuitionistic fuzzy filter is equivalent to the intuitionistic fuzzy filter.
引文
[1]Blount K., Tsinakis C.. The structure of residuated lattices[J]. Interna-tional Journal of Algebra and Computation,2003,13(4):437-461
[2]Ciungu L.C.. Algebras on subintervals of pseudo-hoops[J]. Fuzzy Sets and Systems,2009,160:1099-1113
[3]Ciungu L.C.. On the eexistence of states on fuzzy structures[J]. Southeast Asian Bulletin of Mathematics,2009,33:1041-1062
[4]DiNola A., Georgescu G., Iorgulescu A.. pseudo-BL algebras Ⅰ,Ⅱ[J]. Multiple-Valued Logic,2002,8:673-714,717-750
[5]Dvurecenskij A., Giuntini R., Kowalski T.. On the structure of pseudo BL-algebras and pseudo hoops in quantum logics[J]. Foundations of Physics (Online):DOI 10.1007/s10701-009-9342-5
[6]Dvurecenskij A.. Every linear pseudo-BL algebra admits a state[J]. Soft Computing,2007,6:495-501
[7]Flondor P., Georgescu G., Iorgulesccu A.. Pscudo-t-norms and pseudo-BL algebras[J]. Soft Computing,2001,5:335-371
[8]Gasse B.V., Deschrijver G., Cornelis C., Kerre E.E.. Filters of residuated lattices and triangle algebras[J]. Information Sciences,2010,16:3006-3020
[9]Georgescu G.. Bosbach states on fuzzy structures[J]. Soft Computing, 2004,8:217-230
[10]Georgescu G., Iorgulescu A.. pseudo-BCK algebras:an extension of BCK algebras, In:Proceedings of DMTCS'01:combinatorics, computability and logic[M]. London:Springer,2001:97-114
[11]Georgescu G., Leustean L.. Some classes of pseudo-BL algebras[J]. J. Austral. Math. Soc.,2002,73:127-153
[12]Hajek P.. Metamathematics of Fuzzy Logic[M]. Dordrecht:Kluwer,1998
[13]Hajek P.. Observations on non-commutative fuzzy logic[J]. Soft Comput-ing,2003,8:38-43
[14]Haveshki M., Saeid A. B., Eslami E.. Some types of filters in BL alge-bras[J]. Soft Computing,2006,10:657-664
[15]Iorgulescu A.. Iseki algebras. Connection with BL-algebras[J]. Soft Com-puting,2004,8:449-463.
[16]Iorgulescu A.. Classes of pseudo-BCK algebras:Part-Ⅰ[J]. Journal of Mul-tiple Valued Logic and Soft Computing,2006,12:71-130
[17]Iseki K., Tanaka S.. An introduction to the theory of BCK-algebras[J]. Math. Japonica,1978,23:1-26
[18]Iseki K., Tanaka S.. Ideal theory of BCK-algebras [J]. Math. Japonica, 1976,21:351-366
[19]Jenei S., Montagna F.. A proof of stand completeness for non-commutative monoidal t-norm logic[J]. Neural Network World,2003,5: 481-489
[20]Jipsen P., Montagna F.. The Blok-Ferreirim theorem for normal GBL-algebras and its application [J]. Algebra Universalis,2009,60:381-404
[21]Jun Y.B.. Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras [J]. Fuzzy Sets and Systems,2001,121:353-357
[22]Jun Y.B., Song S.Z.. On fuzzy implicative filters of lattice implication algebras[J]. The Journal of Fuzzy Mathematics,2002,10:893-900
[23]Jun Y.B., Xu Y., Zhang X.H.. Fuzzy filters of MTL-algebras[J]. Informa-tion Sciences,2005,175:120-138
[24]Kroupa T.. Filters in fuzzy class theory[J]. Fuzzy Sets and Systems,2008, 159:1773-1787
[25]Leustean I.. Non-commutative Lucasiewitcz propositional logic[J]. Archive For Mathematical Logic,2006,45:191-213
[26]Liu L.Z., Li K.T.. Fuzzy Boolean and positive implicative filters of BL-algebras[J]. Fuzzy Sets and Systems,2005,152(2):333-348
[27]Liu L.Z., Li K.T.. Fuzzy filters of BL-algebras[J]. Information Sciences 2005,173:141-154
[28]Liu L.Z., Li K.T.. Fuzzy implicative and Boolean filters of R0 algebras[J]. Information Sciences,2005,171:61-71
[29]Liu L.Z., Li K.T.. Boolean filters and positive implicative filters of resid-uated lattices[J]. Information Sciences,2007,177:5725-5738.
[30]Ma X.L., Zhan J.M., Shum K.P.. Interval valued (∈,∈ ∨q)-fuzzy filters of MTL-algebras[J]. Journal of Mathematical Research & Exposition,2010, 30:265-276
[31]Meng J., Jun Y.B.. BCK-algebras[M]. Seoul, Korea:Kyung Moon Sa Co.,1994
[32]Mertanen J., Turunen E.. States on semi-divisible generalized residuated lattices reduce to states on MV-algebras[J]. Fuzzy Sets and Systems, 2008.159:3051-3064
[33]Jipsen P.,Tsinakis C.. A survey of residuated lattices//Ordered Al-gebraic Structures(J.Martinez,ed.)[M].Dordrecht:Kluwer Academic Publishers,2002:19-56
[34]Novak V.,Baets B.D..EQ-algebras[J].Fuzzy Sets and Systems,2009, 160:2956-2978
[35]Rachuanek J.,Salounova D..Fuzzy filters and fuzzy prime filters of bounded Rl-monoids and pseudo BL-algebras[J].Information Sciences, 2008,178:3474-3481
[36]Swamy U.M.,Raju D.V..Fuzzy ideals and congruences of lattices[J]. Fuzzy Sets and Systems,1998,95:249-253
[37]Turunen E..Mathematics Behind Fuzzy Logic[M].Heidelberg:Physica-Verlag,1999
[38]Turunen E..Boolean deductive systems of BL-algebras[J].Archive For Mathematical Logic,2001,40:467-473
[39]Wang Z.D.,Fang J.X..On v-flters and normal v-flters of a residuated lattice with a weak vt-operator[J].Information Sciences,2008,178:3465-3473
[40]Xi O..Fuzzy BCK-algebras[J].Math.Japonica,1991,36:935-942
[41]Xu Y.,Qin K.Y..On filters of lattice implication algebras,The Journal of Fuzzy Mathematics,1993,1:251-260
[42]Zadeh L.A..Fuzzy sets[J].Information and Control,1965,8:338-353
[43]Zhan J.M.,Dudek W.A.,Jun Y.B..Interval valued(∈,∈∨q)-fuzzy filters of pseudo BL-algebras[J].Soft Computing,,2009,13:13-21
[44]Zhang X.H.. Fuzzy Logic and Its Algebric Analysis[M]. Beijing:Science Press.2008
[45]Zhang X.H., Fan X.S.. pseudo-BL algebras and pseudo-effect algebras[J]. Fuzzy Sets and Systems,2008,159 (1):95-106
[46]Zhang X.H., Jun Y.B., Doh M.I.. On fuzzy filters and fuzzy ideals of BL-algebras[J]. Fuzzy Systems and Mathematics,2006,20:8-20
[47]Zhang X.H., Li W.H.. On pseudo-BL algebras and BCC-algebras[J]. Soft Computing,2006 10:941-952
[48]郑崇友,樊磊,崔宏斌Frame与连续格[M].北京：首都师范大学出社,2000
[2]Ciungu L.C.. Algebras on subintervals of pseudo-hoops[J]. Fuzzy Sets and Systems,2009,160:1099-1113
[3]Ciungu L.C.. On the eexistence of states on fuzzy structures[J]. Southeast Asian Bulletin of Mathematics,2009,33:1041-1062
[4]DiNola A., Georgescu G., Iorgulescu A.. pseudo-BL algebras Ⅰ,Ⅱ[J]. Multiple-Valued Logic,2002,8:673-714,717-750
[5]Dvurecenskij A., Giuntini R., Kowalski T.. On the structure of pseudo BL-algebras and pseudo hoops in quantum logics[J]. Foundations of Physics (Online):DOI 10.1007/s10701-009-9342-5
[6]Dvurecenskij A.. Every linear pseudo-BL algebra admits a state[J]. Soft Computing,2007,6:495-501
[7]Flondor P., Georgescu G., Iorgulesccu A.. Pscudo-t-norms and pseudo-BL algebras[J]. Soft Computing,2001,5:335-371
[8]Gasse B.V., Deschrijver G., Cornelis C., Kerre E.E.. Filters of residuated lattices and triangle algebras[J]. Information Sciences,2010,16:3006-3020
[9]Georgescu G.. Bosbach states on fuzzy structures[J]. Soft Computing, 2004,8:217-230
[10]Georgescu G., Iorgulescu A.. pseudo-BCK algebras:an extension of BCK algebras, In:Proceedings of DMTCS'01:combinatorics, computability and logic[M]. London:Springer,2001:97-114
[11]Georgescu G., Leustean L.. Some classes of pseudo-BL algebras[J]. J. Austral. Math. Soc.,2002,73:127-153
[12]Hajek P.. Metamathematics of Fuzzy Logic[M]. Dordrecht:Kluwer,1998
[13]Hajek P.. Observations on non-commutative fuzzy logic[J]. Soft Comput-ing,2003,8:38-43
[14]Haveshki M., Saeid A. B., Eslami E.. Some types of filters in BL alge-bras[J]. Soft Computing,2006,10:657-664
[15]Iorgulescu A.. Iseki algebras. Connection with BL-algebras[J]. Soft Com-puting,2004,8:449-463.
[16]Iorgulescu A.. Classes of pseudo-BCK algebras:Part-Ⅰ[J]. Journal of Mul-tiple Valued Logic and Soft Computing,2006,12:71-130
[17]Iseki K., Tanaka S.. An introduction to the theory of BCK-algebras[J]. Math. Japonica,1978,23:1-26
[18]Iseki K., Tanaka S.. Ideal theory of BCK-algebras [J]. Math. Japonica, 1976,21:351-366
[19]Jenei S., Montagna F.. A proof of stand completeness for non-commutative monoidal t-norm logic[J]. Neural Network World,2003,5: 481-489
[20]Jipsen P., Montagna F.. The Blok-Ferreirim theorem for normal GBL-algebras and its application [J]. Algebra Universalis,2009,60:381-404
[21]Jun Y.B.. Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras [J]. Fuzzy Sets and Systems,2001,121:353-357
[22]Jun Y.B., Song S.Z.. On fuzzy implicative filters of lattice implication algebras[J]. The Journal of Fuzzy Mathematics,2002,10:893-900
[23]Jun Y.B., Xu Y., Zhang X.H.. Fuzzy filters of MTL-algebras[J]. Informa-tion Sciences,2005,175:120-138
[24]Kroupa T.. Filters in fuzzy class theory[J]. Fuzzy Sets and Systems,2008, 159:1773-1787
[25]Leustean I.. Non-commutative Lucasiewitcz propositional logic[J]. Archive For Mathematical Logic,2006,45:191-213
[26]Liu L.Z., Li K.T.. Fuzzy Boolean and positive implicative filters of BL-algebras[J]. Fuzzy Sets and Systems,2005,152(2):333-348
[27]Liu L.Z., Li K.T.. Fuzzy filters of BL-algebras[J]. Information Sciences 2005,173:141-154
[28]Liu L.Z., Li K.T.. Fuzzy implicative and Boolean filters of R0 algebras[J]. Information Sciences,2005,171:61-71
[29]Liu L.Z., Li K.T.. Boolean filters and positive implicative filters of resid-uated lattices[J]. Information Sciences,2007,177:5725-5738.
[30]Ma X.L., Zhan J.M., Shum K.P.. Interval valued (∈,∈ ∨q)-fuzzy filters of MTL-algebras[J]. Journal of Mathematical Research & Exposition,2010, 30:265-276
[31]Meng J., Jun Y.B.. BCK-algebras[M]. Seoul, Korea:Kyung Moon Sa Co.,1994
[32]Mertanen J., Turunen E.. States on semi-divisible generalized residuated lattices reduce to states on MV-algebras[J]. Fuzzy Sets and Systems, 2008.159:3051-3064
[33]Jipsen P.,Tsinakis C.. A survey of residuated lattices//Ordered Al-gebraic Structures(J.Martinez,ed.)[M].Dordrecht:Kluwer Academic Publishers,2002:19-56
[34]Novak V.,Baets B.D..EQ-algebras[J].Fuzzy Sets and Systems,2009, 160:2956-2978
[35]Rachuanek J.,Salounova D..Fuzzy filters and fuzzy prime filters of bounded Rl-monoids and pseudo BL-algebras[J].Information Sciences, 2008,178:3474-3481
[36]Swamy U.M.,Raju D.V..Fuzzy ideals and congruences of lattices[J]. Fuzzy Sets and Systems,1998,95:249-253
[37]Turunen E..Mathematics Behind Fuzzy Logic[M].Heidelberg:Physica-Verlag,1999
[38]Turunen E..Boolean deductive systems of BL-algebras[J].Archive For Mathematical Logic,2001,40:467-473
[39]Wang Z.D.,Fang J.X..On v-flters and normal v-flters of a residuated lattice with a weak vt-operator[J].Information Sciences,2008,178:3465-3473
[40]Xi O..Fuzzy BCK-algebras[J].Math.Japonica,1991,36:935-942
[41]Xu Y.,Qin K.Y..On filters of lattice implication algebras,The Journal of Fuzzy Mathematics,1993,1:251-260
[42]Zadeh L.A..Fuzzy sets[J].Information and Control,1965,8:338-353
[43]Zhan J.M.,Dudek W.A.,Jun Y.B..Interval valued(∈,∈∨q)-fuzzy filters of pseudo BL-algebras[J].Soft Computing,,2009,13:13-21
[44]Zhang X.H.. Fuzzy Logic and Its Algebric Analysis[M]. Beijing:Science Press.2008
[45]Zhang X.H., Fan X.S.. pseudo-BL algebras and pseudo-effect algebras[J]. Fuzzy Sets and Systems,2008,159 (1):95-106
[46]Zhang X.H., Jun Y.B., Doh M.I.. On fuzzy filters and fuzzy ideals of BL-algebras[J]. Fuzzy Systems and Mathematics,2006,20:8-20
[47]Zhang X.H., Li W.H.. On pseudo-BL algebras and BCC-algebras[J]. Soft Computing,2006 10:941-952
[48]郑崇友,樊磊,崔宏斌Frame与连续格[M].北京：首都师范大学出社,2000