{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,25]],"date-time":"2025-05-25T10:02:25Z","timestamp":1748167345626,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T00:00:00Z","timestamp":1461024000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China (CN)","doi-asserted-by":"publisher","award":["11531009"],"award-info":[{"award-number":["11531009"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China (CN","doi-asserted-by":"publisher","award":["11571281"],"award-info":[{"award-number":["11571281"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s00500-016-2152-8","type":"journal-article","created":{"date-parts":[[2016,4,19]],"date-time":"2016-04-19T12:17:52Z","timestamp":1461068272000},"page":"2941-2957","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["States and internal states on semihoops"],"prefix":"10.1007","volume":"21","author":[{"given":"Pengfei","family":"He","sequence":"first","affiliation":[]},{"given":"Bin","family":"Zhao","sequence":"additional","affiliation":[]},{"given":"Xiaolong","family":"Xin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,19]]},"reference":[{"key":"2152_CR1","unstructured":"Agliano P, Ferreirim IMA, Montagna F (2000) Basic hoops: an algebraic study of continuous t-norms. draft (unpublished manuscript)"},{"key":"2152_CR2","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"WJ Blok","year":"2000","unstructured":"Blok WJ, Ferreirim IMA (2000) On the structure of hoops. Algebra Univ 43:233\u2013257","journal-title":"Algebra Univ"},{"key":"2152_CR3","doi-asserted-by":"crossref","first-page":"219","DOI":"10.4064\/-28-1-219-230","volume":"28","author":"WJ Blok","year":"1993","unstructured":"Blok WJ, Ferreirim IMA (1993) Hoops and their implicational reducts (abstract). Algebraic Methods in Logic and Computer Science. Banach Cent Publ 28:219\u2013230","journal-title":"Banach Cent Publ"},{"key":"2152_CR4","doi-asserted-by":"crossref","first-page":"223","DOI":"10.3233\/IFS-151589","volume":"29","author":"RA Borzooei","year":"2015","unstructured":"Borzooei RA, Aaly Kologani M (2015) Local and perfect semihoops. J Intell Fuzzy Syst 29:223\u2013234","journal-title":"J Intell Fuzzy Syst"},{"key":"2152_CR5","doi-asserted-by":"crossref","first-page":"257","DOI":"10.4064\/fm-64-3-257-287","volume":"64","author":"B Bosbach","year":"1969","unstructured":"Bosbach B (1969) Komplement\u00e4re Halbgruppen. Axiomatik und Arithmetik. Fundam Math 64:257\u2013287","journal-title":"Fundam Math"},{"key":"2152_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4064\/fm-69-1-1-14","volume":"69","author":"B Bosbach","year":"1970","unstructured":"Bosbach B (1970) Komplement\u00e4re Halbgruppen. Kongruenzen and Quotienten. Fundam Math 69:1\u201314","journal-title":"Fundam Math"},{"key":"2152_CR7","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"CC Chang","year":"1958","unstructured":"Chang CC (1958) Algebraic analysis of many-valued logic. Trans Am Math Soc 88:467\u2013490","journal-title":"Trans Am Math Soc"},{"key":"2152_CR8","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s11225-006-8302-8","volume":"83","author":"R Cignoli","year":"2006","unstructured":"Cignoli R, Torrens A (2006) Free algebras in varieties of Glivenko MTL-algebras satisfying the equation $$2(x^{2})=(2x)^{2}$$ 2 ( x 2 ) = ( 2 x ) 2 . Stud Log 83:157\u2013181","journal-title":"Stud Log"},{"key":"2152_CR9","first-page":"175","volume":"2","author":"LC Ciungu","year":"2008","unstructured":"Ciungu LC (2008) Bosbach and Rie\u010dan states on residuated lattices. J Appl Funct Anal 2:175\u2013188","journal-title":"J Appl Funct Anal"},{"key":"2152_CR10","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1007\/s00500-010-0571-5","volume":"15","author":"LC Ciungu","year":"2011","unstructured":"Ciungu LC, Dvure\u010denskij A, Hy\u010dko M (2011) State BL-algebras. Soft Comput 15:619\u2013634","journal-title":"Soft Comput"},{"key":"2152_CR11","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.apal.2009.05.003","volume":"161","author":"A Nola Di","year":"2009","unstructured":"Di Nola A, Dvure\u010denskij A (2009) State-morphism MV-algebras. Ann Pure Appl Log 161:161\u2013173","journal-title":"Ann Pure Appl Log"},{"key":"2152_CR12","doi-asserted-by":"crossref","first-page":"680","DOI":"10.1016\/j.ijar.2010.01.017","volume":"51","author":"A Nola Di","year":"2010","unstructured":"Di Nola A, Dvure\u010denskij A, Lettieri A (2010) On varieties of MV-algebras with internal states. Int J Approx Reason 51:680\u2013694","journal-title":"Int J Approx Reason"},{"key":"2152_CR13","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/s00233-005-0545-6","volume":"72","author":"A Dvure\u010denskij","year":"2006","unstructured":"Dvure\u010denskij A, Rachunek J (2006) Probabilistic averaging in bounded R $$\\ell $$ \u2113 -monoids. Semigroup Forum 72:190\u2013206","journal-title":"Semigroup Forum"},{"key":"2152_CR14","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/j.fss.2011.05.023","volume":"187","author":"A Dvure\u010denskij","year":"2012","unstructured":"Dvure\u010denskij A, Rachunek J, S\u0306alounova D (2012) State operators on generalizations of fuzzy structures. Fuzzy Sets Syst 187:58\u201376","journal-title":"Fuzzy Sets Syst"},{"key":"2152_CR15","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva F, Godo L (2001) Monoidal t-norm-based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271\u2013288","journal-title":"Fuzzy Sets Syst"},{"key":"2152_CR16","doi-asserted-by":"crossref","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 (2003) Hoops and fuzzy logic. J Log Comput 13:532\u2013555","journal-title":"J Log Comput"},{"key":"2152_CR17","unstructured":"Ferreirim IMA (1992) On varieties and quasivarieties of hoops and their reducts. Ph. D. Thesis, University of Ilinois at Chicago"},{"key":"2152_CR18","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1016\/j.fss.2006.11.008","volume":"158","author":"T Flaminio","year":"2007","unstructured":"Flaminio T, Godo L (2007) A logic for reasoning about the probability of fuzzy events. Fuzzy Sets Syst 158:625\u2013638","journal-title":"Fuzzy Sets Syst"},{"key":"2152_CR19","unstructured":"Flaminio T., Montagna F. (2007) An algebraic approach to states on MV-algebras. In: Nov\u00e1k V (eds) Fuzzy logic 2, Proceedings of the 5th EUSFLAT Conference, Sept 11\u201314, Ostrava, vol. II, pp. 201\u2013206"},{"key":"2152_CR20","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/j.ijar.2008.07.006","volume":"50","author":"T Flaminio","year":"2009","unstructured":"Flaminio T, Montagna F (2009) MV-algebras with internal states and probabilistic fuzzy logic. Int J Approx Reason 50:138\u2013152","journal-title":"Int J Approx Reason"},{"key":"2152_CR21","doi-asserted-by":"crossref","unstructured":"Georgescu G (2004) Bosbach states on fuzzy structures. Soft Comput 8:217\u2013230","DOI":"10.1007\/s00500-003-0266-2"},{"key":"2152_CR22","first-page":"153","volume":"11","author":"G Georgescu","year":"2005","unstructured":"Georgescu G, Leu\u015ftean L, Preoteasa V (2005) Pseudo-hoops. J Mult Valued Log Soft Comput 11:153\u2013184","journal-title":"J Mult Valued Log Soft Comput"},{"key":"2152_CR23","doi-asserted-by":"crossref","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. Kluwer Academic Publishers, Dordrecht"},{"key":"2152_CR24","doi-asserted-by":"crossref","first-page":"1093","DOI":"10.2478\/s12175-014-0261-3","volume":"64","author":"M Kondo","year":"2014","unstructured":"Kondo M (2014) States on bounded commutative residuated lattices. Math Slovaca 64:1093\u20131104","journal-title":"Math Slovaca"},{"key":"2152_CR25","doi-asserted-by":"crossref","unstructured":"Liu LZ (2013) On the existence of states on MTL-algebras. Inf Sci 220:559\u2013567","DOI":"10.1016\/j.ins.2012.07.046"},{"key":"2152_CR26","doi-asserted-by":"crossref","first-page":"2021","DOI":"10.1007\/s00500-011-0701-8","volume":"15","author":"LZ Liu","year":"2011","unstructured":"Liu LZ, Zhang XY (2011) States on finite linearly ordered IMTL-algebras. Soft Comput 15:2021\u20132028","journal-title":"Soft Comput"},{"key":"2152_CR27","doi-asserted-by":"crossref","first-page":"1099","DOI":"10.1007\/s00500-008-0276-1","volume":"12","author":"LZ Liu","year":"2008","unstructured":"Liu LZ, Zhang XY (2008) States on R $$_{0}$$ 0 -algebras. Soft Comput 12:1099\u20131104","journal-title":"Soft Comput"},{"key":"2152_CR28","doi-asserted-by":"crossref","first-page":"3051","DOI":"10.1016\/j.fss.2008.01.036","volume":"159","author":"J Mertanen","year":"2008","unstructured":"Mertanen J, Turunen E (2008) States on semi-divisible generalized residuated lattices reduce to states on MV-algebras. Fuzzy Sets Syst 159:3051\u20133064","journal-title":"Fuzzy Sets Syst"},{"key":"2152_CR29","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01053035","volume":"55","author":"D Mundici","year":"1995","unstructured":"Mundici D (1995) Averaging the truth-value in \u0141ukasiewicz sentential logic. Stud Log 55:113\u2013127","journal-title":"Stud Log"},{"key":"2152_CR30","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1007\/s00153-005-0276-0","volume":"44","author":"C Noguera","year":"2005","unstructured":"Noguera C, Esteva F, Gispert J (2005) Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Arch Math Logic 44:869\u2013886","journal-title":"Arch Math Logic"},{"key":"2152_CR31","first-page":"3","volume":"4","author":"B Rie\u010dan","year":"2000","unstructured":"Rie\u010dan B (2000) On the probability on BL-algebras. Acta Math Nitra 4:3\u201313","journal-title":"Acta Math Nitra"},{"key":"2152_CR32","first-page":"49","volume":"6","author":"E Turunen","year":"1999","unstructured":"Turunen E (1999) BL-algebras and basic fuzzy logic. Math Soft Comput 6:49\u201361","journal-title":"Math Soft Comput"},{"key":"2152_CR33","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/s00500-007-0182-y","volume":"12","author":"E Turunen","year":"2008","unstructured":"Turunen E, Mertanen J (2008) States on semi-divisible residuated lattices. Soft Comput 12:353\u2013357","journal-title":"Soft Comput"},{"key":"2152_CR34","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M Ward","year":"1939","unstructured":"Ward M, Dilworth PR (1939) Residuated lattice. Trans Am Math Soc 45:335\u2013354","journal-title":"Trans Am Math Soc"},{"key":"2152_CR35","volume-title":"Non-classical mathematical logic and approximate reasoning","author":"GJ Wang","year":"2000","unstructured":"Wang GJ (2000) Non-classical mathematical logic and approximate reasoning. Science Press, Beijing"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2152-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2152-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2152-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2152-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,6]],"date-time":"2019-09-06T17:19:49Z","timestamp":1567790389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2152-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,19]]},"references-count":35,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["2152"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2152-8","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2016,4,19]]}}}