Abstract
We establish some concrete properties of the category of BL-algebras and use them to introduce \(\mathbf{MV} \)-coalgebras, the coalgebras of the functor which assigns each BL-algebra to its MV-centre. Homomorphisms of \(\mathbf{MV} \)-coalgebras, sub-\(\mathbf{MV} \)-coalgebras and bisimulations are characterized, and we show that the final \(\mathbf{MV} \)-coalgebra exists. Moreover, we applied this notion in topology and constructed an inverse system in the category of \(\mathbf{MV} \)-coalgebras.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Aczel P, Mendler NP (1989) A final coalgebra theorem. Category Theory Comput Sci. https://doi.org/10.1007/BFb0018361
Adámek J, Herrlich H, Strecker GE (1990) Abstract and concrete categories. Wiley, Newyork/Chichester/Brisbane/Toronto/Singapore
Adámek J (2005) Introduction to coalgebra. Theory Appl Categories 14(8):157–199
Bezhanishvili N, Fontaine G, Venema Y (2010) Vietoris bisimulations. J Log Comput 20(5):1017–1040
Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic Logic is the logic of continuous t-norms and their residua. Soft Comput 4:106–112
Doberkat EE (2009) Stochastic coalgebraic logic. Monographs in Theoretical Computer Science. EATCS Series, Springer
Ghita M (2009) Some categorical properties of Hilbert algebras. Annals of University of Craiova, Craiova, pp 95–104
Ghorbani S, Eslami E, Hasankhani A (2009) On the category of hyper MV: algebras. Math Log Quart. 21-30
Gumm HP (2001) Functors for coalgebras. Algebra Universalis 45:135–147
Gumm HP (1999) Elements of the general theory of coalgebras, logic, universal algebra, and theoretical computer science (LUATCS 99). Rand Africaans University, Johannesburg
Hájek P (1998) Metamathematics of fuzzy logic. Kluver, Amsterdam
Haveshki M, Eslami E (2008) n-fold filters in BL -algebras. Math Log Q 54(2):176–186
Hofmann D, Neves R, Nora P (2019) Limits in categories of Vietoris coalgebras. Math Struct Comput Sci 29:552–587
Kupke C, Kurz A, Venema Y (2004) Stone coalgebras. Theoret Comput Sci 327:109–134
Hughes J (2001) A study of categories of algebras and coalgebras, PhD thesis, Carnegie Mellon University
Panangaden P (2009) Labelled markov processes. Imperial College Press, London
Rutten J (2000) Universal coalgebra: a theory of systems. Theor Comput Sci 249(1):3–80
Turunen E (1999) Mathematics behind fuzzy logic. Physica-Verlag, Heidelberg
Turunen E, Tchikapa N, Lele C (2011) n-Fold implicative basic logic is Gödel logic. Soft Comput 16(1):177–181
Zahiri O, Borzooei RA (2016) Topology on BL-algebras. Fuzzy Sets Syst 249:137–150
Funding
None.
Author information
Authors and Affiliations
Contributions
CN wrote all the results of the paper and the proofs. MK corrected the proofs and gave some ideas to improve the work. CL proposed the subject of the paper and made corrections.
Corresponding author
Ethics declarations
Conflict of interest
All authors declare that they have no conflict of interest.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This paper is a final form and no version of it will be submitted to publication elsewhere.
Rights and permissions
About this article
Cite this article
Nganteu, C., Kianpi, M. & Lele, C. On MV-coalgebras over the category of BL-algebras. Soft Comput 25, 12805–12815 (2021). https://doi.org/10.1007/s00500-021-06082-9
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-021-06082-9