{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T12:28:25Z","timestamp":1773145705061,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030887001","type":"print"},{"value":"9783030887018","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-88701-8_1","type":"book-chapter","created":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T23:06:25Z","timestamp":1634857585000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Aguzzoli","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3896-7853","authenticated-orcid":false,"given":"Matteo","family":"Bianchi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,22]]},"reference":[{"issue":"7","key":"1_CR1","doi-asserted-by":"publisher","first-page":"2129","DOI":"10.1007\/s00500-018-3423-3","volume":"23","author":"S Aguzzoli","year":"2018","unstructured":"Aguzzoli, S., Bianchi, M.: On linear varieties of MTL-algebras. Soft Comput. 23(7), 2129\u20132146 (2018). https:\/\/doi.org\/10.1007\/s00500-018-3423-3","journal-title":"Soft Comput."},{"key":"1_CR2","doi-asserted-by":"publisher","unstructured":"2 Aguzzoli, S., Bianchi, M.: Finite model property and varieties of BL-algebras. In: Computational Intelligence and Mathematics for Tackling Complex Problems 3, Studies in Computational Intelligence, vol. 959, pp. 22\u201330. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-030-74970-5_4","DOI":"10.1007\/978-3-030-74970-5_4"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.fss.2020.12.008","volume":"418","author":"S Aguzzoli","year":"2021","unstructured":"Aguzzoli, S., Bianchi, M.: Strictly join irreducible varieties of BL-algebras: the missing pieces. Fuzzy Sets Syst. 418, 84\u2013100 (2021). https:\/\/doi.org\/10.1016\/j.fss.2020.12.008","journal-title":"Fuzzy Sets Syst."},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s11225-007-9078-1","volume":"87","author":"P Aglian\u00f2","year":"2007","unstructured":"Aglian\u00f2, P., Ferreirim, I., Montagna, F.: Basic hoops: an algebraic study of continuous $$t$$-norms. Studia Logica 87, 73\u201398 (2007). https:\/\/doi.org\/10.1007\/s11225-007-9078-1","journal-title":"Studia Logica"},{"issue":"2\u20133","key":"1_CR5","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/S0022-4049(02)00329-8","volume":"181","author":"P Aglian\u00f2","year":"2003","unstructured":"Aglian\u00f2, P., Montagna, F.: Varieties of BL-algebras I: general properties. J. Pure Appl. Algebra 181(2\u20133), 105\u2013129 (2003). https:\/\/doi.org\/10.1016\/S0022-4049(02)00329-8","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"1_CR6","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1016\/S0021-8693(02)00085-6","volume":"256","author":"P Aglian\u00f2","year":"2002","unstructured":"Aglian\u00f2, P., Panti, G.: Geometrical methods in Wajsberg hoops. J. Algebra 256(2), 352\u2013374 (2002). https:\/\/doi.org\/10.1016\/S0021-8693(02)00085-6","journal-title":"J. Algebra"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra, vol. 78, Springer, Heidelberg (1981). http:\/\/tinyurl.com\/zaxeopo","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"1_CR8","series-title":"Trends in Logic","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R Cignoli","year":"1999","unstructured":"Cignoli, R., D\u2019Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Trends in Logic, vol. 7. Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"2","key":"1_CR9","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.: Basic Fuzzy Logic is the logic of continuous t-norms and their residua. Soft Comput. 4(2), 106\u2013112 (2000). https:\/\/doi.org\/10.1007\/s005000000044","journal-title":"Soft Comput."},{"key":"1_CR10","volume-title":"Handbook of Mathematical Fuzzy Logic","author":"P Cintula","year":"2011","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C.: Handbook of Mathematical Fuzzy Logic, vol. 1 and 2. College Publications, London (2011)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1215\/00294527-1499336","volume":"52","author":"T Cortonesi","year":"2011","unstructured":"Cortonesi, T., Marchioni, E., Montagna, F.: Quantifier elimination and other model-theoretic properties of BL-algebras. Notre Dame J. Formal Logic 52, 339\u2013379 (2011). https:\/\/doi.org\/10.1215\/00294527-1499336","journal-title":"Notre Dame J. Formal Logic"},{"issue":"4","key":"1_CR12","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. Log. Comput. 13(4), 532\u2013555 (2003). https:\/\/doi.org\/10.1093\/logcom\/13.4.532","journal-title":"J. Log. Comput."},{"key":"1_CR13","series-title":"Trends in Logic","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. Trends in Logic, vol. 4. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s00153-002-0165-8","volume":"42","author":"S Jenei","year":"2003","unstructured":"Jenei, S.: On the structure of rotation-invariant semigroups. Arch. Math. Log. 42, 489\u2013514 (2003). https:\/\/doi.org\/10.1007\/s00153-002-0165-8","journal-title":"Arch. Math. Log."},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/j.jalgebra.2013.11.019","volume":"402","author":"G Metcalfe","year":"2014","unstructured":"Metcalfe, G., Montagna, F., Tsinakis, C.: Amalgamation and interpolation in ordered algebras. J. Alg. 402, 21\u201382 (2014). https:\/\/doi.org\/10.1016\/j.jalgebra.2013.11.019","journal-title":"J. Alg."},{"issue":"1\u20132","key":"1_CR16","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1016\/j.apal.2005.11.001","volume":"141","author":"F Montagna","year":"2006","unstructured":"Montagna, F.: Interpolation and Beth\u2019s property in propositional many-valued logics: a semantic investigation. Ann. Pure. Appl. Log. 141(1\u20132), 148\u2013179 (2006). https:\/\/doi.org\/10.1016\/j.apal.2005.11.001","journal-title":"Ann. Pure. Appl. Log."},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0021-8693(88)90185-8","volume":"113","author":"D Mundici","year":"1988","unstructured":"Mundici, D.: Free products in the category of abelian l-groups with strong unit. J. Algebra 113(1), 89\u2013109 (1988). https:\/\/doi.org\/10.1016\/0021-8693(88)90185-8","journal-title":"J. Algebra"},{"issue":"7","key":"1_CR18","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1007\/s00153-005-0276-0","volume":"44","author":"C Noguera","year":"2005","unstructured":"Noguera, C., Esteva, F., Gispert, J.: Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Arch. Math. Logic 44(7), 869\u2013886 (2005). https:\/\/doi.org\/10.1007\/s00153-005-0276-0","journal-title":"Arch. Math. Logic"},{"issue":"2","key":"1_CR19","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1006\/jabr.1999.8136","volume":"225","author":"A Di Nola","year":"2000","unstructured":"Di Nola, A., Lettieri, A.: One chain generated varieties of MV-Algebras. J. Alg. 225(2), 667\u2013697 (2000). https:\/\/doi.org\/10.1006\/jabr.1999.8136","journal-title":"J. Alg."}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-88701-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,22]],"date-time":"2021-10-22T00:46:55Z","timestamp":1634863615000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88701-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030887001","9783030887018"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88701-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"22 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RAMiCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Relational and Algebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Marseille","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics19.lis-lab.fr\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}