| Title:
|
On some properties of topological $\mathbb {MV}$-coalgebras (English) |
| Author:
|
Nganteu, Cyrille |
| Author:
|
Kianpi, Maurice |
| Author:
|
Mbiakop, Hilaire |
| Language:
|
English |
| Journal:
|
Mathematica Bohemica |
| ISSN:
|
0011-4642 |
| ISSN:
|
0862-7959 (print) |
| ISSN:
|
2464-7136 (online) |
| Volume:
|
151 |
| Issue:
|
2 |
| Year:
|
2026 |
| Pages:
|
231-247 |
| Summary lang:
|
English |
| . |
| Category:
|
math |
| . |
| Summary:
|
We investigate some properties of topological $\mathbb {MV}$-coalgebras, where $\mathbb {MV}$-coalgebras are coalgebras of the functor which assigns every BL-algebra to its MV-center. We show that the limit of the inverse system arising from a family of Boolean deductive systems is isomorphic to its completion, and characterize Haussdorf topological $\mathbb {MV}$-coalgebras. Moreover, we show that the category of topological $\mathbb {MV}$-coalgebras is strong-monotopological over the category of $\mathbb {MV}$-coalgebras. Finally, we establish a coalgebraic link between BL-algebras and DRl-monoids and deduce the (co)completeness of a category of coalgebras over DRl-monoids. (English) |
| Keyword:
|
BL-algebra |
| Keyword:
|
topological $\mathbb {MV}$-coalgebra |
| Keyword:
|
topological category |
| MSC:
|
06D35 |
| MSC:
|
08C05 |
| MSC:
|
22A26 |
| DOI:
|
10.21136/MB.2025.0183-23 |
| . |
| Date available:
|
2026-05-19T08:22:28Z |
| Last updated:
|
2026-05-19 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/153622 |
| . |
| Reference:
|
[1] Aczel, P., Mendler, N.: A final coalgebra theorem.Category Theory and Computer Science. Lecture Notes in Computer Science 389. Springer, Berlin (1989), 357-365. Zbl 1496.03206, MR 1031572, 10.1007/BFb0018361 |
| Reference:
|
[2] Adámek, J.: Introduction to coalgebra.Theory Appl. Categ. 14 (2005), 157-199. Zbl 1080.18005, MR 2156194 |
| Reference:
|
[3] Adámek, J., Gumm, H. P., Trnková, V.: Presentation of set functors: A Coalgebraic Perspective.J. Log. Comput. 20 (2010), 991-1015. Zbl 1207.18002, MR 2725166, 10.1093/logcom/exn090 |
| Reference:
|
[4] Adámek, J., Herrlich, H., Strecker, G. E.: Abstract and Concrete Categories: The Joy of Cats.John Wiley & Sons, New York (1990). Zbl 0695.18001, MR 1051419 |
| Reference:
|
[5] Borzooei, R. A., Rezaei, G. R., Kouhestani, N.: On (semi)topological BL-algebras.Iran. J. Math. Sci. Inform. 6 (2011), 59-77. Zbl 1301.03065, MR 2850203 |
| Reference:
|
[6] Brümmer, G. C. L.: Topological categories.Topology Appl. 18 (1984), 27-41. Zbl 0551.18003, MR 0759137, 10.1016/0166-8641(84)90029-4 |
| Reference:
|
[7] Nola, A. Di, Leuştean, L.: Compact representations of BL-algebra.Arch. Math. Logic 42 (2003), 737-761. Zbl 1040.03048, MR 2020041, 10.1007/s00153-003-0178-y |
| Reference:
|
[8] Fussner, W., Ugolini, S.: A topological approach to MTL-algebras.Algebra Univers. 80 (2019), Article ID 38, 37 pages. Zbl 1475.03102, MR 4008495, 10.1007/s00012-019-0612-6 |
| Reference:
|
[9] Gumm, H. P.: On minimal coalgebras.Appl. Categ. Struct. 16 (2008), 313-332. Zbl 1144.18002, MR 2399672, 10.1007/s10485-007-9116-1 |
| Reference:
|
[10] Hájek, P.: Metamathematics of Fuzzy Logic.Trends in Logic--Studia Logica Library 4. Kluwer, Dordrecht (1998). Zbl 0937.03030, MR 1900263, 10.1007/978-94-011-5300-3 |
| Reference:
|
[11] Haveshki, M., Eslami, E.: $n$-fold filters in BL-algebras.Math. Log. Q. 54 (2008), 176-186. Zbl 1145.03038, MR 2402626, 10.1002/malq.200710029 |
| Reference:
|
[12] Haveshki, M., Eslami, E., Saeid, A. Borumand: A topology induced by uniformity on BL-algebras.Math. Log. Q. 53 (2007), 162-169. Zbl 1115.03091, MR 2308495, 10.1002/malq.200610035 |
| Reference:
|
[13] Herrlich, H.: Topological functors.General Topology Appl. 4 (1974), 125-142. Zbl 0288.54003, MR 0343226, 10.1016/0016-660X(74)90016-6 |
| Reference:
|
[14] Hoo, C. S.: Topological MV-algebras.Topology Appl. 81 (1997), 103-121. Zbl 0896.06010, MR 1481136, 10.1016/S0166-8641(97)00027-8 |
| Reference:
|
[15] Johnstone, P., Power, J., Tsujishita, T., Watanabe, H., Worrell, J.: On the structure of categories of coalgebras.Theor. Comput. Sci. 260 (2001), 87-117. Zbl 0973.68178, MR 1827934, 10.1016/S0304-3975(00)00124-9 |
| Reference:
|
[16] Kianpi, M.: On the topologicity of the categories of coalgebras.Int. Electron. J. Algebra 27 (2020), 147-168. Zbl 1431.18002, MR 4056425, 10.24330/ieja.662998 |
| Reference:
|
[17] Kianpi, M., Nkuimi-Jugnia, C.: A note on descent for coalgebras.Homology Homotopy Appl. 18 (2016), 339-342. Zbl 1346.18002, MR 3504592, 10.4310/HHA.2016.v18.n1.a18 |
| Reference:
|
[18] Kondo, M., Dudek, W. A.: Filter theory of BL algebras.Soft Comput. 12 (2008), 419-423. Zbl 1165.03056, 10.1007/s00500-007-0178-7 |
| Reference:
|
[19] Kühr, J.: Prime ideals and polars in DR$\ell$-monoids and BL-algebras.Math. Slovaca 53 (2003), 233-246. Zbl 1058.06017, MR 2025020 |
| Reference:
|
[20] Kupke, C., Pattinson, D.: Coalgebraic semantics of modal logics: An overview.Theor. Comput. Sci. 412 (2011), 5070-5094. Zbl 1360.03068, MR 2849694, 10.1016/j.tcs.2011.04.023 |
| Reference:
|
[21] Kurz, A.: Specifying coalgebras with modal logic.Theor. Comput. Sci. 260 (2001), 119-138. Zbl 0974.68034, MR 1827935, 10.1016/S0304-3975(00)00125-0 |
| Reference:
|
[22] Lenisa, M.: From set-theoretic coinduction to coalgebraic coinduction: Some results, some problems.CMCS'99 Coalgebraic Methods in Computer Science Electronic Notes in Theoretical Computer Science 19. Elsevier, Amsterdam (1999), 2-22. Zbl 0918.68029, MR 1689446, 10.1016/S1571-0661(05)80265-8 |
| Reference:
|
[23] Nganou, J. B., Tebu, S. F. T.: Topological Fl$_{ew}$-algebras.J. Appl. Log. 13 (2015), 259-269. Zbl 1468.06013, MR 3365336, 10.1016/j.jal.2015.04.004 |
| Reference:
|
[24] Nganteu, C., Kianpi, M., Lele, C.: On MV-coalgebras over the category of BL-algebras.Soft Comput. 25 (2021), 12805-12815. Zbl 1498.06031, 10.1007/s00500-021-06082-9 |
| Reference:
|
[25] Nganteu, C., Kianpi, M., Ogadoa, A.: Modal representation of coalgebras over local BL-algebras.J. Algebr. Hyperstruct. Log. Algebras 2 (2021), 51-62. MR 4489074, 10.52547/HATEF.JAHLA.2.4.5 |
| Reference:
|
[26] Rachůnek, J.: A duality between algebras of basic logic and bounded representable $DRl$-monoids.Math. Bohem. 126 (2001), 561-569. Zbl 0979.03049, MR 1970259, 10.21136/MB.2001.134199 |
| Reference:
|
[27] Rachůnek, J., Slezák, V.: Bounded dually residuated lattice ordered monoids as a generalization of fuzzy structures.Math. Slovaca 56 (2006), 223-233. Zbl 1150.06015, MR 2229343 |
| Reference:
|
[28] Rutten, J. J. M. M.: Universal coalgebra: A theory of systems.Theor. Comput. Sci. 249 (2000), 3-80. Zbl 0951.68038, MR 1791953, 10.1016/S0304-3975(00)00056-6 |
| Reference:
|
[29] Schröder, L.: Expressivity of coalgebraic modal logic: The limits and beyond.Theor. Comput. Sci. 390 (2008), 230-247. Zbl 1132.03008, MR 2380336, 10.1016/j.tcs.2007.09.023 |
| Reference:
|
[30] Swamy, K. L. N.: Dually residuated lattice ordered semigroups.Math. Ann. 159 (1965), 105-114. Zbl 0135.04203, MR 0183797, 10.1007/BF01360284 |
| Reference:
|
[31] Turunen, E.: Mathematics Behind Fuzzy Logic.Advances in Soft Computing. Physica, Heidelberg (1999). Zbl 0940.03029, MR 1716958 |
| Reference:
|
[32] Turunen, E.: Boolean deductive systems of BL-algebras.Arch. Math. Logic 40 (2001), 467-473. Zbl 1030.03048, MR 1854896, 10.1007/s001530100088 |
| Reference:
|
[33] Turunen, E., Tchikapa, N., Lele, C.: A new characterization for $n$-fold positive implicative BL-logics.Advances in Computational Intelligence Communications in Computer and Information Science 297. Springer, Berlin (2012), 552-560. Zbl 1252.03066, 10.1007/978-3-642-31709-5_56 |
| Reference:
|
[34] Turunen, E., Tchikapa, N., Lele, C.: $n$-fold implicative basic logic is Gödel logic.Soft Comput. 16 (2012), 177-181. Zbl 1274.03047, 10.1007/s00500-011-0761-9 |
| Reference:
|
[35] Zahiri, O., Borzooei, R. A.: Topology on BL-algebras.Fuzzy Sets Syst. 289 (2016), 137-150. Zbl 1374.06028, MR 3454467, 10.1016/j.fss.2014.11.014 |
| . |
