{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T04:30:14Z","timestamp":1766377814687},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2013,5,14]],"date-time":"2013-05-14T00:00:00Z","timestamp":1368489600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1007\/s00153-013-0338-7","type":"journal-article","created":{"date-parts":[[2013,5,13]],"date-time":"2013-05-13T01:54:02Z","timestamp":1368410042000},"page":"689-706","source":"Crossref","is-referenced-by-count":10,"title":["Generalized Bosbach and Rie\u010dan states on nucleus-based-Glivenko residuated lattices"],"prefix":"10.1007","volume":"52","author":[{"given":"Bin","family":"Zhao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongjun","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,5,14]]},"reference":[{"key":"338_CR1","doi-asserted-by":"crossref","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. Stud. Logica 55, 113\u2013127 (1995)","journal-title":"Stud. Logica"},{"key":"338_CR2","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":"338_CR3","doi-asserted-by":"crossref","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":"338_CR4","doi-asserted-by":"crossref","first-page":"1317","DOI":"10.1016\/j.disc.2005.12.024","volume":"306","author":"A. Dvure\u010denskij","year":"2006","unstructured":"Dvure\u010denskij A., Rachu\u030anek J.: Probabilistic averaging in bounded commutative residuated \u2113-monoids. Discret. Math. 306, 1317\u20131326 (2006)","journal-title":"Discret. Math."},{"key":"338_CR5","doi-asserted-by":"crossref","first-page":"1369","DOI":"10.1016\/j.ins.2010.11.020","volume":"181","author":"L.Z. 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."},{"issue":"2","key":"338_CR6","first-page":"175","volume":"3","author":"L.C. Ciungu","year":"2008","unstructured":"Ciungu L.C.: Bosbach and Rie\u010dan states on residuated lattices. J. Appl. Funct. Anal. 3(2), 175\u2013188 (2008)","journal-title":"J. Appl. Funct. Anal."},{"key":"338_CR7","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.: States on semi-divisible residuated lattices. Soft Comput. 12, 353\u2013357 (2008)","journal-title":"Soft Comput."},{"key":"338_CR8","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.: 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":"338_CR9","unstructured":"Wang, G.J., Wang, W.: Logic metric space. Acta Math. Sinica 44(1), 159\u2013168 (2001) (in Chinese)"},{"issue":"11","key":"338_CR10","first-page":"998","volume":"31","author":"G.J. Wang","year":"2001","unstructured":"Wang G.J., Fu L.: Theory of truth degrees of propositions in two-valued logic. Sci. China A 31(11), 998\u20131008 (2001)","journal-title":"Sci. China A"},{"key":"338_CR11","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/S0165-0114(02)00328-7","volume":"136","author":"G.J. Wang","year":"2003","unstructured":"Wang G.J., Leung Y.: Integrated semantics and logic metric spaces. Fuzzy Sets Syst. 136, 71\u201391 (2003)","journal-title":"Fuzzy Sets Syst."},{"issue":"6","key":"338_CR12","first-page":"561","volume":"35","author":"G.J. Wang","year":"2005","unstructured":"Wang G.J., Li B.J.: Theory of truth degrees of formulas in \u0141kasiewicz n-valued proportional logic and a limit theorem. Sci. China E 35(6), 561\u2013569 (2005)","journal-title":"Sci. China E"},{"key":"338_CR13","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/j.ijar.2006.03.001","volume":"43","author":"H.J. Zhou","year":"2006","unstructured":"Zhou H.J., Wang G.J., Zhou W.: Consistency degrees of theories and methods of graded reasoning in n-valued R0-logic (NM-logic). Int. J. Approx. Reason. 43, 117\u2013132 (2006)","journal-title":"Int. J. Approx. Reason."},{"key":"338_CR14","doi-asserted-by":"crossref","first-page":"2058","DOI":"10.1016\/j.fss.2006.02.007","volume":"157","author":"H.J. Zhou","year":"2006","unstructured":"Zhou H.J., Wang G.J.: Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems. Fuzzy Sets Syst. 157, 2058\u20132073 (2006)","journal-title":"Fuzzy Sets Syst."},{"issue":"8","key":"338_CR15","doi-asserted-by":"crossref","first-page":"2587","DOI":"10.1016\/j.camwa.2010.01.024","volume":"59","author":"H.B. Wu","year":"2010","unstructured":"Wu H.B.: The generalized truth degree of quantitative logic in the logic system $${\\fancyscript{L}^{*}_{n}}$$ (n-valued NM-logic system). Comput. Math. Appl. 59(8), 2587\u20132596 (2010)","journal-title":"Comput. Math. Appl."},{"key":"338_CR16","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1016\/j.ins.2008.09.008","volume":"179","author":"G.J. Wang","year":"2009","unstructured":"Wang G.J., Zhou H.J.: Quantitative logic. Inform. Sci. 179, 226\u2013247 (2009)","journal-title":"Inform. Sci."},{"key":"338_CR17","unstructured":"Wang, G.J., Zhou, H.J.: Introduction to Mathematical Logic and Resolution Principle, pp. 200\u2013256. Science Press, Beijing (2009)"},{"key":"338_CR18","doi-asserted-by":"crossref","first-page":"1843","DOI":"10.1007\/s11432-011-4268-x","volume":"54","author":"H.J. Zhou","year":"2011","unstructured":"Zhou H.J., Wang G.J.: Borel probabilistic and quantitative logic. Sci. China Inf. Sci. 54, 1843\u20131854 (2011)","journal-title":"Sci. China Inf. Sci."},{"issue":"4","key":"338_CR19","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/s00153-005-0286-y","volume":"45","author":"T. Kroupa","year":"2006","unstructured":"Kroupa T.: Representation and extension of states on MV-algebras. Arch. Math. Logic 45(4), 381\u2013392 (2006)","journal-title":"Arch. Math. Logic"},{"issue":"8","key":"338_CR20","doi-asserted-by":"crossref","first-page":"2849","DOI":"10.1080\/00927870802104394","volume":"36","author":"G. Panti","year":"2008","unstructured":"Panti G.: Invariant measures in free MV-algebras. Commun. Alg. 36(8), 2849\u20132861 (2008)","journal-title":"Commun. Alg."},{"key":"338_CR21","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.: 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":"338_CR22","doi-asserted-by":"crossref","first-page":"1521","DOI":"10.1007\/BF02882922","volume":"42","author":"G.J. Wang","year":"1997","unstructured":"Wang G.J.: A formal deductive system for fuzzy propositional calculus. Chin. Sci. Bull. 42, 1521\u20131526 (1997)","journal-title":"Chin. Sci. Bull."},{"key":"338_CR23","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0165-0114(02)00382-2","volume":"138","author":"D.W. Pei","year":"2003","unstructured":"Pei D.W.: On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets Syst. 138, 187\u2013195 (2003)","journal-title":"Fuzzy Sets Syst."},{"key":"338_CR24","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/s11225-010-9228-8","volume":"94","author":"S. Aguzzoli","year":"2010","unstructured":"Aguzzoli S., Gerla B.: Probability measures in the logic of nilpotent minimum. Stud. Logica 94, 151\u2013176 (2010)","journal-title":"Stud. Logica"},{"key":"338_CR25","unstructured":"Flaminio, T., Montagna, F.: An algebraic approach to states on MV-algebras. In: Nov\u00e1k, V. (ed.) Fuzzy Logic 2, Proceedings of the 5th EUSFLAT Conference, Ostrava, pp. 201\u2013206 (2007)"},{"key":"338_CR26","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.: MV-algebras with internal states and probabilistic fuzzy logic. Int. J. Approx. Reason. 50, 138\u2013152 (2009)","journal-title":"Int. J. Approx. Reason."},{"key":"338_CR27","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/j.apal.2009.05.003","volume":"161","author":"A.D. Nola","year":"2009","unstructured":"Nola A.D., Dvure\u010denskij A.: State-morphism MV-algebras. Ann. Pure Appl. Logic 161, 161\u2013173 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"338_CR28","doi-asserted-by":"crossref","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":"338_CR29","unstructured":"Georgescu, G., Mure\u015fan, C.: Generalized Bosbach states. Available at http:\/\/arxiv.org\/abs\/1007.2575 (2010)"},{"issue":"1","key":"338_CR30","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.fss.2011.09.002","volume":"187","author":"H.J. Zhou","year":"2012","unstructured":"Zhou H.J., Zhao B.: Generalized Bosbach and Rie\u010dan states based on relative negations in residuated lattices. Fuzzy Sets Syst. 187(1), 33\u201357 (2012)","journal-title":"Fuzzy Sets Syst."},{"key":"338_CR31","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at substructural logics, pp. 75\u2013203, 345\u2013374. Elsevier, Tokyo (2007)"},{"key":"338_CR32","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1002\/malq.200310082","volume":"50","author":"R. Cignoli","year":"2004","unstructured":"Cignoli R., Torrens A.: Glivenko like theorems in natural expansions of BCK-logic. Math. Logic Q. 50, 111\u2013125 (2004)","journal-title":"Math. Logic Q."},{"key":"338_CR33","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.: Free algebras in varieties of Glivenko MTL-algebras satisfying the equation 2(x 2) =\u00a0(2x)2. Stud. Logica 83, 157\u2013181 (2006)","journal-title":"Stud. Logica"},{"key":"338_CR34","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-94-011-5300-3_2","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P.: Metamathematics of Fuzzy Logic, pp. 27\u2013107. Kluwer, Dordrecht (1998)"},{"key":"338_CR35","doi-asserted-by":"crossref","unstructured":"H\u00f6hle, U.: Commutative, residuated l-monoids. In: H\u00f6hle, U., Klement, E.P. (eds) Non-Classical Logics and their Applications to Fuzzy Subsets, pp. 53\u2013106. Kluwer, Dordrecht (1995)","DOI":"10.1007\/978-94-011-0215-5_5"},{"key":"338_CR36","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"C.C. Chang","year":"1958","unstructured":"Chang C.C.: Algebraic analysis of many-valued logics. Trans. Am. Math. Soc. 88, 467\u2013490 (1958)","journal-title":"Trans. Am. Math. Soc."},{"key":"338_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2010.09.005","volume":"162","author":"H.J. Zhou","year":"2011","unstructured":"Zhou H.J., Zhao B.: Stone-like representation theorems and three-valued filters in R 0-algebras (nilpotent minimum algebras). Fuzzy Sets Syst. 162, 1\u201326 (2011)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0338-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-013-0338-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-013-0338-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T11:54:42Z","timestamp":1558612482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-013-0338-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5,14]]},"references-count":37,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2013,11]]}},"alternative-id":["338"],"URL":"https:\/\/doi.org\/10.1007\/s00153-013-0338-7","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,5,14]]}}}