Extended Ideals in residuated lattices

Document Type : Original Article

Authors

1 Science School, Xi'an Polytechnic University, Xi'an, China

2 department mathematics, northwest university, xian, china

Abstract

In this paper, we generalized the notion of extended ideals and stable ideals associated to a subset B of a residuated  lattices L and we discuss what kind of residuated lattices have extended ideals. Then we investigate the related  properties  of them. We show that if  L  is an involutive residuated lattice, then EI(B) is a stable ideal relative to B  and So, EI(B)= $\bigcap $ { J : J  is stable relative to B  and $I \subseteq J $}. We also give a characterization of this extended ideal: EI(B)= (B] --> I  in the complete Heyting algebra $(\operatorname{Id}(L), \wedge, \vee, \rightarrow,\{0\}, L) $. We also prove that the class S(B)  of all stable ideals relative to $B \subseteq L $ is a complete Heyting algebra. Finally, we prove  that the set of extended ideals and the set of extended filters on involutive residuated lattices are one-to-one  correspondence. 

Keywords


[1] R. Bělohlávek, Some properties of residuated lattices, Czechoslovak Mathematical Journal, 53 (2003), 161–171. 10.1023/A:1022935811257
[2] K. Blount, C. Tsinakis, The structure of residuated lattices, International Journal of Algebra and Computation, 13(4) (2003), 437–461. https://doi.org/10.1142/S0218196703001511
[3] D. Bu¸sneg, D. Piciu, A. Dina, Ideals in residuated lattices, Carpathian Journal of Mathematics, 37(1) (2021), 53–63. https://doi.org/10.1556/012.2021.58.2.1493
[4] D. Bu¸sneag, D. Piciu, L. Holdon, Some properties of ideals in Stonean residuated lattices, Journal of Multiple-valued Logic and Soft Computing, 24 (5-6) (2015), 529–546.
[5] C.C. Chang, Algebraic analysis of many-valued logics, Transactions of the American Mathematical Society, 88(2) (1958), 467–490. https://doi.org/10.2307/1993227
[6] F. Forouzesh, Extended ideals in MV-algebras, New Mathematics and Natural Computation, 18(3) (2021), 559–571. https://doi.org/10.1142/S1793005722500284
 [7] B.V. Gasse, G. Deschrijver, C. Cornelis, Filters of residuated lattices and triangle algebras, Information Sciences, 180(16) (2010), 3006–3020. https://doi.org/10.1016/j.ins.2010.04. 010
[8] G. Gratzer, Lattice theory. First concepts and distributive lattices, A Series of Books in Mathematics, San Francisco: W.H. Freeman and Company, 1971.
[9] P. Hájek, Metamathematics of fuzzy logic, Trends Logic, Dordrecht: Springer, 1998. https: //doi.org/10.1007/978-94-011-5300-3
[10] U. Höhle, E.P. Klement, Non-classical logics and their applications to fuzzy subsets, Dordrecht: Springer, 1995. https://doi.org/10.1007/978-94-011-0215-5
[11] L.C. Holdon, A. Borumand Saeid, Ideals of residuated lattices, Studia Scientiarum Mathematicarum Hungarica, 58(2) (2021), 182–205. https://doi.org/10.1556/012.2021.58.2.1493
[12] P. Jipsen, C. Tsinakis, A survey of residuated lattices, Ordered Algebraic Structures, Kluwer Acad. Publ., Dordrecht, 7 (2002), 19–56. https://doi.org/10.1007/978-1-4757-3627-4_3
[13] M. Kondo, Characterization of extended filters in residuated lattices, Soft Computing, 18(3) (2014), 427–432. https://doi.org/10.1007/s00500-013-1100-0
[14] T. Kowalski, H. Ono, Residuated lattices: An algebraic glimpse at logics without contraction, Monograph, 2001.
[15] Y. Liu, Y. Qin, X.Y. Qin,Y. Xu, Ideals and fuzzy ideals on residuated lattices, International Journal of Machine Learning and Cybernetics, 8(1) (2014), 239–253. https://doi.org/10. 1007/s13042-014-0317-2
[16] A.D. Nola, S. Sessa, F. Esteva, L. Godo, P. Calves, The variety generated by perfect BL-algebras: An algebraic approach in fuzzy logic setting, Annals of Mathematics and Artificial Intelligence, 35 (2002), 197–214. https://doi.org/10.1023/A:1014539401842
[17] J. Pavelka, On fuzzy logic II. Enriched residuated lattices and semantics of propositional calculi, Mathematical Logic Quarterly, 25(7-12) (1979), 119–134. https://doi.org/10.1002/ malq.19790250706
[18] D. Piciu, Prime, minimal prime and maximal ideals spaces in residuated lattices, Fuzzy Sets and Systems, 405 (2021), 47–64. https://doi.org/10.1016/j.fss.2020.04.009
[19] S.K. Shoar, Some types of ideals in residuated lattices, Journal of Intelligent and Fuzzy Systems, 35(5) (2018), 5647–5655. https://doi.org/10.3233/JIFS-171197
[20] E. Turunen, S. Sessa, Local BL-algebras, Multiple-Valued Logic, 6 (2001), 229–249.
[21] G.J. Wang, Theory of non-classical mathematical logic and approximate reasoning, Beijing: Science Press, 2000. https://doi.org/10.4236/jsea.2017.1010045
[22] W. Wang, B. Zhao, Topologies on residuated lattices, Journal of Logic and Computation, 32(7) (2022), 1375–1400. https://doi.org/10.1093/logcom/exac037
[23] M. Ward, R.P. Dilworth, Residuated lattices, Transactions of the American Mathematical Society, 45(3) (1939), 335–354. https://www.pnas.org/doi/pdf/10.1073/pnas.24.3.162
[24] F. Woumfo, B.B. Koguep Njionou, E.R. Temgoua, M. Kondo, Some results on state ideals in state residuated lattices, Soft Computing, 28 (2024), 163–176. https://doi.org/10.1007/ s00500-023-09300-8.