The present work aims at investigating maximal filter and its topological properties in lattice implication algebras (LIAs). To begin with, the maximal filters of LIAs are investigated and some equivalent characterizations of maximal filters are also given. In addition, the radical of filters in a LIA is introduced and its properties are also obtained, the structure of radical of maximal filter is investigated. Finally, by introducing some topological structures on the set of all maximal filters and by investigating the topological properties of them, we conclude that the set of all maximal filters is a compact topological space and the set of all maximal filters is also a Hausdorff topological space.
CignoliR., DąŕOttano and I.M.L.MundiciD., Algebras of Lukasiewicz Logics, second ed., Editions CLE, State University of Campinas, Campinas, S.P., Brazil, 1995.
2.
GierzG., HofmannK.H., KeimelK., Continuous Lattices and Domains, Cambridge University Press, Cambridge, 2003.
3.
JunY.B., Implicative filters of lattice implication algebras, Bull Korean Math Soc34(2) (1997), 193–198.
4.
JunY.B., XuY. and QinK.Y., Positive implicative and associative filters of lattice implication algebras, Bull Korean Math Soc35(1) (1998), 53–61.
5.
JunY.B., Fantastic filters of lattice implication algebras, Internat J Math and Math Sci24(4) (2000), 277–281.
6.
JunY.B., Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras, Fuzzy Sets Syst121 (2001), 353–357.
ZhanJ.M. and JunY.B., Notes on redefined fuzzy implication filters of lattice implication algebras, Infor Sci179 (2009), 3182–3186.
9.
KadjiA., LeleC. and TongaM., Fuzzy prime and maximal filters of residuated lattices, Soft Computing21(8) (2017), 1913–1922.
10.
KimS.Y., RohE.H. and JunY.B., On ultra filters of lattice implication algebras, Scientiae Mathematicae2(2) (1999), 201–204.
11.
LiuJ. and XuY., Filters and structure of lattice implication algebras, Chinese Science Bulletin42(18) (1997), 1517–1520.
12.
LiuY., XuY. and QinX.Y., Interval-valued T -fuzzy filters and interval-valued T -fuzzy congruences on residuated lattices, Journal of Intelligent Fuzzy Systems26 (2014), 2021–2033.
13.
LiuY., XuY. and ZhongX.M., Multi-ary α-antic resolution automated reasoning based on lattice-valued first-order logic LF(X), Journal of Intelligent Fuzzy Systems29 (2015), 1581–1593.
14.
MundiciD., Tensor products and the Loomis-Sikorski theorem for MV-algebras, Adv Appl Math22 (1999), 227–248.
15.
Moncho-JordaA., Martinez-LopezF. and Hidalgo-AlvarezR., Simulations of aggregation in 2D. A study of kinetics, structure and topological properties, Physica A282 (2000), 50–64.
16.
RomE.H., KimS.Y., XuY.
, Some operations on lattice implication algebras, Int J Math Math Sci1 (2001), 45–52.
17.
SteinerA.K., Lattice of topologies: Structure and complementation, Trans AMS122 (1966), 379–398.
18.
WangG.J., Compact Hausdorff topology on the set of Lukasiewicz antics, Acta Math Sinica45(5) (2002), 919–924.
XuY. and QinK.Y., On filters of lattice implication algebras, J Fuzzy Math2 (1993), 251–260.
21.
XuY., RuanD., QinK., LiuJ., Lattice-Valued Logic-An Alternative Approach to Treat Fuzziness and Incomparability, Springer, New York, 2003.
22.
XuY. and QinK.Y., On filters of lattice implication algebras, J Fuzzy Math1(2) (1993), 251–260.
23.
ZahiriS., Borumand SaeidA. and EslamiE., On maximal filters in triangle algebras, Journal of Intelligent Fuzzy Systems30 (2016), 1181–1193.
24.
ZahiriO. and BorzooeiR.A., Topology on BL-algebras, Fuzzy Sets and Systems289 (2016), 137–150.
25.
ZhangJ.L., Fuzzy topology representation for MV-algebras, Math Log Quart55 (2009), 259–270.
26.
ZhangJ.L., Topological properties of prime filters in MTLalgebras and fuzzy set representations for MTL-algebras, Fuzzy Sets and Systems178 (2011), 38–53.
27.
ZhangH.D., ShuL. and LiaoS.L., Topological structures of interval-valued hesitant fuzzy rough set and its application, Journal of Intelligent Fuzzy Systems30 (2016), 1029–1043.
28.
ZhouH.J. and WangG.J., Structural characterizations of maximal consistent theories in the formal deductive system L (NM logic) and Cantor space, Fuzzy Sets and Systems158 (2007), 2591–2604.
29.
ZhouH.J. and WangG.J., Characterization of maximal consistent theories over L and compactness theorem, Fuzzy Systems and Math22(4) (2008), 8–14.
