{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:17:13Z","timestamp":1740107833288,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"20","license":[{"start":{"date-parts":[[2021,8,6]],"date-time":"2021-08-06T00:00:00Z","timestamp":1628208000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,8,6]],"date-time":"2021-08-06T00:00:00Z","timestamp":1628208000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s00500-021-06082-9","type":"journal-article","created":{"date-parts":[[2021,8,6]],"date-time":"2021-08-06T20:04:23Z","timestamp":1628280263000},"page":"12805-12815","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On MV-coalgebras over the category of BL-algebras"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1117-6103","authenticated-orcid":false,"given":"Cyrille","family":"Nganteu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice","family":"Kianpi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Celestin","family":"Lele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,8,6]]},"reference":[{"key":"6082_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0018361","author":"P Aczel","year":"1989","unstructured":"Aczel P, Mendler NP (1989) A final coalgebra theorem. Category Theory Comput Sci. https:\/\/doi.org\/10.1007\/BFb0018361","journal-title":"Category Theory Comput Sci"},{"key":"6082_CR2","volume-title":"Abstract and concrete categories","author":"J Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek J, Herrlich H, Strecker GE (1990) Abstract and concrete categories. Wiley, Newyork\/Chichester\/Brisbane\/Toronto\/Singapore"},{"issue":"8","key":"6082_CR3","first-page":"157","volume":"14","author":"J Ad\u00e1mek","year":"2005","unstructured":"Ad\u00e1mek J (2005) Introduction to coalgebra. Theory Appl Categories 14(8):157\u2013199","journal-title":"Theory Appl Categories"},{"issue":"5","key":"6082_CR4","doi-asserted-by":"publisher","first-page":"1017","DOI":"10.1093\/logcom\/exn091","volume":"20","author":"N Bezhanishvili","year":"2010","unstructured":"Bezhanishvili N, Fontaine G, Venema Y (2010) Vietoris bisimulations. J Log Comput 20(5):1017\u20131040","journal-title":"J Log Comput"},{"key":"6082_CR5","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R Cignoli","year":"2000","unstructured":"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\u2013112","journal-title":"Soft Comput"},{"key":"6082_CR6","doi-asserted-by":"crossref","unstructured":"Doberkat EE (2009) Stochastic coalgebraic logic. Monographs in Theoretical Computer Science. EATCS Series, Springer","DOI":"10.1007\/978-3-642-02995-0"},{"key":"6082_CR7","first-page":"95","volume-title":"Some categorical properties of Hilbert algebras","author":"M Ghita","year":"2009","unstructured":"Ghita M (2009) Some categorical properties of Hilbert algebras. Annals of University of Craiova, Craiova, pp 95\u2013104"},{"key":"6082_CR8","doi-asserted-by":"crossref","unstructured":"Ghorbani S, Eslami E, Hasankhani A (2009) On the category of hyper MV: algebras. Math Log Quart. 21-30","DOI":"10.1002\/malq.200710082"},{"key":"6082_CR9","first-page":"135","volume":"45","author":"HP Gumm","year":"2001","unstructured":"Gumm HP (2001) Functors for coalgebras. Algebra Universalis 45:135\u2013147","journal-title":"Algebra Universalis"},{"key":"6082_CR10","volume-title":"Elements of the general theory of coalgebras, logic, universal algebra, and theoretical computer science (LUATCS 99)","author":"HP Gumm","year":"1999","unstructured":"Gumm HP (1999) Elements of the general theory of coalgebras, logic, universal algebra, and theoretical computer science (LUATCS 99). Rand Africaans University, Johannesburg"},{"key":"6082_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic. Kluver, Amsterdam"},{"issue":"2","key":"6082_CR12","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1002\/malq.200710029","volume":"54","author":"M Haveshki","year":"2008","unstructured":"Haveshki M, Eslami E (2008) n-fold filters in BL -algebras. Math Log Q 54(2):176\u2013186","journal-title":"Math Log Q"},{"key":"6082_CR13","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1017\/S0960129518000269","volume":"29","author":"D Hofmann","year":"2019","unstructured":"Hofmann D, Neves R, Nora P (2019) Limits in categories of Vietoris coalgebras. Math Struct Comput Sci 29:552\u2013587","journal-title":"Math Struct Comput Sci"},{"key":"6082_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","author":"C Kupke","year":"2004","unstructured":"Kupke C, Kurz A, Venema Y (2004) Stone coalgebras. Theoret Comput Sci 327:109\u2013134","journal-title":"Theoret Comput Sci"},{"key":"6082_CR15","unstructured":"Hughes J (2001) A study of categories of algebras and coalgebras, PhD thesis, Carnegie Mellon University"},{"key":"6082_CR16","doi-asserted-by":"publisher","DOI":"10.1142\/p595","volume-title":"Labelled markov processes","author":"P Panangaden","year":"2009","unstructured":"Panangaden P (2009) Labelled markov processes. Imperial College Press, London"},{"issue":"1","key":"6082_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J Rutten","year":"2000","unstructured":"Rutten J (2000) Universal coalgebra: a theory of systems. Theor Comput Sci 249(1):3\u201380","journal-title":"Theor Comput Sci"},{"key":"6082_CR18","volume-title":"Mathematics behind fuzzy logic","author":"E Turunen","year":"1999","unstructured":"Turunen E (1999) Mathematics behind fuzzy logic. Physica-Verlag, Heidelberg"},{"issue":"1","key":"6082_CR19","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/s00500-011-0761-9","volume":"16","author":"E Turunen","year":"2011","unstructured":"Turunen E, Tchikapa N, Lele C (2011) n-Fold implicative basic logic is G\u00f6del logic. Soft Comput 16(1):177\u2013181","journal-title":"Soft Comput"},{"key":"6082_CR20","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.fss.2014.11.014","volume":"249","author":"O Zahiri","year":"2016","unstructured":"Zahiri O, Borzooei RA (2016) Topology on BL-algebras. Fuzzy Sets Syst 249:137\u2013150","journal-title":"Fuzzy Sets Syst"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-021-06082-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-021-06082-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-021-06082-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,23]],"date-time":"2021-09-23T13:59:53Z","timestamp":1632405593000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-021-06082-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,6]]},"references-count":20,"journal-issue":{"issue":"20","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["6082"],"URL":"https:\/\/doi.org\/10.1007\/s00500-021-06082-9","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2021,8,6]]},"assertion":[{"value":"5 July 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 August 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"All authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}