Modal representation of coalgebras over local BL-algebras

Document Type : Original Article


1 Department of Mathematics, Faculty of sciences, University of Yaoundé 1, Yaoundé, Cameroon

2 Department of mathematics, Faculty of sciences, University of Yaounde 1, Cameroon

3 Department of mathematics, faculty of sciences, University of Yaounde 1, Cameroon


We consider the category Coalg(∏) of ∏-coalgebras where ∏ is the endofunctor on the category of local BL-algebras and  L-morphisms which assigns to each local BL-algebra its quotient by its unique maximal filter and we characterize homomorphisms and subcoalgebras in Coalg(∏) . Moreover, we introduce local BL-frames based on local BL-algebras, and show that the category of local BL-frames is isomorphic to Coalg(∏).


[1] P. Aczel, N. Mendler, A  nal coalgebra theorem, Lecture Notes in Computer Science, 389,
Springer, Berlin, 1989, 357{365.
[2] J. Adamek, Introduction to coalgebra, Theory and Applications of Categories, 14(8) (2005),
[3] J. Adamek, H. Herrlich, G. E. Strecker, Abstract and concrete categories, John Wiley and
Sons, Inc., Newyork/Chichester/Brisbane/Toronto/Singapore, 1990.
[4] A. Di Nola, L. Leustean, Compact representations of BL-algebra, Archive for Mathematical
Logic, (2003), 737{761.
[5] H.P. Gumm, Elements of the general theory of coalgebras, Logic, Universal Algebra, and Theoretical
Computer Science (LUATCS 99), Rand Africaans University, Johannesburg, January
[6] P. Hajek, Metamathematics of fuzzy logic, Kluwer, 1998.
[7] J. Hughes, A study of categories of algebras and coalgebras, PhD thesis, Carnegie Mellon
University, 2001.
[8] M. Kianpi, On the topologicity of the categories of coalgebras, International Electronic Journal
of Algebra, (2020), 147{168.
[9] C. Kupke, A. Kurz, Y. Venema, Stone coalgebras, Theoretical Computer Science, 327(1-2)
(2004), 109{134.
[10] C. Nganteu, M. Kianpi, C. Lele, MV-coalgebras over the category of BL-algebras, Soft Computing,
25 (2021), 12805{12815.
[11] J.J.M.M. Rutten, Universal coalgebra: A theory of systems, Theoretical Computer Science,
249 (2000), 3{80.
[12] E. Turunen, Mathematics behind fuzzy logic, Physica-Verlag Heidelberg, 1999.
[13] E. Turunen, Boolean deductive systems of BL-lgebras, Archive for Mathematical Logic, (2001),
[14] E. Turunen, S. Sessa, Local BL-algebras, Multi-Valued Logic, 6 (2001), 229{249.
[15] E. Turunen, N. Tchikapa, C. Lele, n-fold implicative basic logic is Godel logic, Soft Computing,
(2011), 177{181.
[16] Y. Venema, Algebras and coalgebras, Handbook of modal logic, 3, Elsevier B. V., Amsterdam,
(2007), 331{426.