{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T17:21:34Z","timestamp":1770225694419,"version":"3.49.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T00:00:00Z","timestamp":1652832000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T00:00:00Z","timestamp":1652832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12171294"],"award-info":[{"award-number":["12171294"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["12001423"],"award-info":[{"award-number":["12001423"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["11901371"],"award-info":[{"award-number":["11901371"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2022,11]]},"DOI":"10.1007\/s00153-022-00830-w","type":"journal-article","created":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T15:06:58Z","timestamp":1652886418000},"page":"1145-1170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["The existence of states based on Glivenko semihoops"],"prefix":"10.1007","volume":"61","author":[{"given":"Pengfei","family":"He","sequence":"first","affiliation":[]},{"given":"Juntao","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Jiang","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,18]]},"reference":[{"key":"830_CR1","first-page":"3","volume":"11","author":"JC Abbott","year":"1967","unstructured":"Abbott, J.C.: Implicational algebras. Bull. Math. Soc. Sci. Math. R. S. Roumanie 11, 3\u201323 (1967)","journal-title":"Bull. Math. Soc. Sci. Math. R. S. Roumanie"},{"key":"830_CR2","unstructured":"Aglian\u00f2 P., Ferreirim I.M.A., Montagna, F.: Basic hoops: an algebraic study of continuous t-norms. draft (2000)"},{"key":"830_CR3","unstructured":"Bergman, C.: Universal Algebra. Pure and Applied Mathematics, CRC Press, Chapman & Hall, Fundamental and Selected Topics (2012)"},{"key":"830_CR4","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"WJ Blok","year":"2000","unstructured":"Blok, W.J., Ferreirim, I.M.A.: On the structure of hoops. Algebr. Universalis 43, 233\u2013257 (2000)","journal-title":"Algebr. Universalis"},{"key":"830_CR5","doi-asserted-by":"crossref","unstructured":"Blok, W.J., Ferreirim, I.M.A.: Hoops and their implicational reducts (abstract). Algebraic Methods in Logic and Computer Science. Banach Center Publications 28, 219\u2013230 (1993)","DOI":"10.4064\/-28-1-219-230"},{"key":"830_CR6","doi-asserted-by":"publisher","first-page":"223","DOI":"10.3233\/IFS-151589","volume":"29","author":"RA Borzooei","year":"2015","unstructured":"Borzooei, R.A., Aaly, Kologani M.: Local and perfect semihoops. J. Intell. Fuzzy Syst. 29, 223\u2013234 (2015)","journal-title":"J. Intell. Fuzzy Syst."},{"key":"830_CR7","doi-asserted-by":"publisher","first-page":"257","DOI":"10.4064\/fm-64-3-257-287","volume":"64","author":"B Bosbach","year":"1969","unstructured":"Bosbach, B.: Komplement\u00e4re Halbgruppen. Axiomatik und Arithmetik. Fundamenta Mathematicae 64, 257\u2013287 (1969)","journal-title":"Fundamenta Mathematicae"},{"key":"830_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4064\/fm-69-1-1-14","volume":"69","author":"B Bosbach","year":"1970","unstructured":"Bosbach, B.: Komplement\u00e4re Halbgruppen. Kongruenzen and Quotienten. Fundamenta Mathematicae 69, 1\u201314 (1970)","journal-title":"Fundamenta Mathematicae"},{"key":"830_CR9","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s11225-011-9326-2","volume":"98","author":"D Castano","year":"2011","unstructured":"Castano, D., D\u00edaz Varela, J.P., Torrens, A.: Free-decomposability in varieties of pseudocomplemented residuated lattices. Studia Logica 98, 223\u2013235 (2011)","journal-title":"Studia Logica"},{"key":"830_CR10","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"CC Chang","year":"1958","unstructured":"Chang, C.C.: Algebraic analysis of many-valued logic. Trans. Am. Math. Soc. 88, 467\u2013490 (1958)","journal-title":"Trans. Am. Math. Soc."},{"key":"830_CR11","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s00500-007-0183-x","volume":"12","author":"R Cignoli","year":"2008","unstructured":"Cignoli, R.: Free algebras in varieties of Stonean residuated lattices. Soft. Comput. 12, 315\u2013320 (2008)","journal-title":"Soft. Comput."},{"key":"830_CR12","first-page":"175","volume":"2","author":"LC Ciungu","year":"2008","unstructured":"Ciungu, L.C.: Bosbach and Rie\u010dan states on residuated lattices. J. Appl. Funct. Anal. 2, 175\u2013188 (2008)","journal-title":"J. Appl. Funct. Anal."},{"key":"830_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9480-6","volume-title":"Algebraic Foundations of Many-valued Reasoning","author":"RLO Cignoli","year":"2000","unstructured":"Cignoli, R.L.O., Ottaviano, I.M.L.D., Mundici, D.: Algebraic Foundations of Many-valued Reasoning. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"830_CR14","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1023\/A:1012490620450","volume":"68","author":"A Dvure\u010denskij","year":"2001","unstructured":"Dvure\u010denskij, A.: States on pseudo MV-algebras. Studia Logica 68, 301\u2013327 (2001)","journal-title":"Studia Logica"},{"key":"830_CR15","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/s00500-006-0078-2","volume":"6","author":"A Dvure\u010denskij","year":"2007","unstructured":"Dvure\u010denskij, A.: Every linear pseudo BL-algebra admits a state. Soft Comput. 6, 495\u2013501 (2007)","journal-title":"Soft Comput."},{"key":"830_CR16","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s00153-010-0206-7","volume":"50","author":"A Dvure\u010denskij","year":"2011","unstructured":"Dvure\u010denskij, A.: Subdirectly irreducible state-morphism BL-algebras. Arch. Math. Logic 50, 145\u2013160 (2011)","journal-title":"Arch. Math. Logic"},{"key":"830_CR17","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/s00233-005-0545-6","volume":"72","author":"A Dvure\u010denskij","year":"2006","unstructured":"Dvure\u010denskij, A., Rachunek, J.: Probabilistic averaging in bounded R$$\\ell $$-monoids. Semigroup Forum 72, 190\u2013206 (2006)","journal-title":"Semigroup Forum"},{"key":"830_CR18","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm-based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets Syst."},{"key":"830_CR19","doi-asserted-by":"publisher","first-page":"532","DOI":"10.1093\/logcom\/13.4.532","volume":"13","author":"F Esteva","year":"2003","unstructured":"Esteva, F., Godo, L., H\u00e1jek, P., Montagna, F.: Hoops and fuzzy logic. J. Logic Comput. 13, 532\u2013555 (2003)","journal-title":"J. Logic Comput."},{"key":"830_CR20","unstructured":"Ferreirim I.M.A.: On varieties and quasivarieties of hoops and their reducts. Ph. D. Thesis, University of Ilinois at Chicago (1992)"},{"key":"830_CR21","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s00500-003-0266-2","volume":"8","author":"G Georgescu","year":"2004","unstructured":"Georgescu, G.: Bosbach states on fuzzy structures. Soft. Comput. 8, 217\u2013230 (2004)","journal-title":"Soft. Comput."},{"key":"830_CR22","first-page":"183","volume":"15","author":"V Glivenko","year":"1929","unstructured":"Glivenko, V.: Sur quelques points de la logique de M. Brouwer. Bull. Acad. des Sci. de Belgique 15, 183\u2013188 (1929)","journal-title":"Bull. Acad. des Sci. de Belgique"},{"key":"830_CR23","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.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"830_CR24","doi-asserted-by":"publisher","first-page":"2941","DOI":"10.1007\/s00500-016-2152-8","volume":"21","author":"PF He","year":"2017","unstructured":"He, P.F., Zhao, B., Xin, X.L.: States and internal states on semihoops. Soft Comput. 21, 2941\u20132957 (2017)","journal-title":"Soft Comput."},{"key":"830_CR25","doi-asserted-by":"publisher","first-page":"1369","DOI":"10.1016\/j.ins.2010.11.020","volume":"181","author":"LZ Liu","year":"2011","unstructured":"Liu, L.Z.: States on finite monoidal t-norm based algebras. Inform. Sci. 181, 1369\u20131383 (2011)","journal-title":"Inform. Sci."},{"key":"830_CR26","doi-asserted-by":"publisher","first-page":"1099","DOI":"10.1007\/s00500-008-0276-1","volume":"12","author":"LZ Liu","year":"2008","unstructured":"Liu, L.Z., Zhang, X.Y.: States on $$\\text{ R}_{{0}}$$-algebras. Soft Comput. 12, 1099\u20131104 (2008)","journal-title":"Soft Comput."},{"key":"830_CR27","doi-asserted-by":"publisher","first-page":"2021","DOI":"10.1007\/s00500-011-0701-8","volume":"15","author":"LZ Liu","year":"2011","unstructured":"Liu, L.Z., Zhang, X.Y.: States on finite linearly ordered IMTL-algebras. Soft Comput. 15, 2021\u20132028 (2011)","journal-title":"Soft Comput."},{"key":"830_CR28","doi-asserted-by":"publisher","first-page":"3051","DOI":"10.1016\/j.fss.2008.01.036","volume":"159","author":"J Mertanen","year":"2008","unstructured":"Mertanen, J., Turunen, E.: States on semi-divisible generalized residuated lattices reduce to states on MV-algebras. Fuzzy Sets Syst. 159, 3051\u20133064 (2008)","journal-title":"Fuzzy Sets Syst."},{"key":"830_CR29","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF01053035","volume":"55","author":"D Mundici","year":"1995","unstructured":"Mundici, D.: Averaging the truth-value in \u0141ukasiewicz sentential logic. Studia Logica 55, 113\u2013127 (1995)","journal-title":"Studia Logica"},{"key":"830_CR30","first-page":"3","volume":"4","author":"B Rie\u010dan","year":"2000","unstructured":"Rie\u010dan, B.: On the probability on BL-algebras. Acta Math. Nitra 4, 3\u201313 (2000)","journal-title":"Acta Math. Nitra"},{"key":"830_CR31","first-page":"49","volume":"6","author":"E Turunen","year":"1999","unstructured":"Turunen, E.: BL-algebras and basic fuzzy logic. Mathw. Soft Comput. 6, 49\u201361 (1999)","journal-title":"Mathw. Soft Comput."},{"key":"830_CR32","volume-title":"Mathematics behind Fuzzy Logic","author":"E Turunen","year":"1999","unstructured":"Turunen, E.: Mathematics behind Fuzzy Logic. Physica-Verlag, Heidelberg, New York (1999)"},{"key":"830_CR33","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/s00500-007-0182-y","volume":"12","author":"E Turunen","year":"2008","unstructured":"Turunen, E., Mertanen, J.: States on semi-divisible residuated lattices. Soft Comput. 12, 353\u2013357 (2008)","journal-title":"Soft Comput."},{"key":"830_CR34","first-page":"229","volume":"6","author":"E Turunen","year":"2001","unstructured":"Turunen, E., Sessa, S.: Local BL-algebra. Int. J. Mult-Valued Logic 6, 229\u2013249 (2001)","journal-title":"Int. J. Mult-Valued Logic"},{"key":"830_CR35","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M Ward","year":"1939","unstructured":"Ward, M., Dilworth, P.R.: Residuated lattice. Trans. Am. Math. Soc. 45, 335\u2013354 (1939)","journal-title":"Trans. Am. Math. Soc."},{"key":"830_CR36","volume-title":"Non-classical Mathematical Logic and Approximate Reasoning","author":"GJ Wang","year":"2000","unstructured":"Wang, G.J.: Non-classical Mathematical Logic and Approximate Reasoning. Science Press, Beijing (2000)"},{"key":"830_CR37","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/s00153-013-0338-7","volume":"52","author":"B Zhao","year":"2013","unstructured":"Zhao, B., Zhou, H.J.: Generalized Bosbach and Riecan states on nucleus-based-Glivenko residuated lattices. Arch. Math. Logic 52, 689\u2013706 (2013)","journal-title":"Arch. Math. Logic"},{"key":"830_CR38","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.fss.2011.09.002","volume":"187","author":"HJ Zhou","year":"2012","unstructured":"Zhou, H.J., Zhao, B.: Generalized Bosbach and Riecan states based on relative negations in residuated lattices. Fuzzy Sets Syst. 187, 33\u201357 (2012)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00830-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-022-00830-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00830-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,11]],"date-time":"2022-10-11T21:04:51Z","timestamp":1665522291000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-022-00830-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,18]]},"references-count":38,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2022,11]]}},"alternative-id":["830"],"URL":"https:\/\/doi.org\/10.1007\/s00153-022-00830-w","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,5,18]]},"assertion":[{"value":"7 February 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 January 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 May 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}