{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:37:36Z","timestamp":1752230256769,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031682780"},{"type":"electronic","value":"9783031682797"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-68279-7_1","type":"book-chapter","created":{"date-parts":[[2024,8,11]],"date-time":"2024-08-11T23:03:07Z","timestamp":1723417387000},"page":"1-18","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Tabular and\u00a0Pretabular Varieties of\u00a0MTL-Algebras"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7588-5048","authenticated-orcid":false,"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":[[2024,8,12]]},"reference":[{"issue":"2\u20133","key":"1_CR1","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":"1","key":"1_CR2","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1093\/logcom\/exab059","volume":"32","author":"P Aglian\u00f2","year":"2021","unstructured":"Aglian\u00f2, P., Ugolini, S.: Strictly join irreducible varieties of residuated lattices. J. Log. Comput. 32(1), 32\u201364 (2021). https:\/\/doi.org\/10.1093\/logcom\/exab059","journal-title":"J. Log. Comput."},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.fss.2016.03.008","volume":"301","author":"S Aguzzoli","year":"2016","unstructured":"Aguzzoli, S., Bianchi, M.: Single chain completeness and some related properties. Fuzzy Sets Syst. 301, 51\u201363 (2016). https:\/\/doi.org\/10.1016\/j.fss.2016.03.008","journal-title":"Fuzzy Sets Syst."},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-52962-2_9","volume-title":"Fuzzy Logic and Soft Computing Applications","author":"S Aguzzoli","year":"2017","unstructured":"Aguzzoli, S., Bianchi, M.: Minimally many-valued extensions of the monoidal t-norm based logic MTL. In: Petrosino, A., Loia, V., Pedrycz, W. (eds.) WILF 2016. LNCS (LNAI), vol. 10147, pp. 106\u2013115. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-52962-2_9"},{"issue":"7","key":"1_CR5","doi-asserted-by":"publisher","first-page":"2129","DOI":"10.1007\/s00500-018-3423-3","volume":"23","author":"S Aguzzoli","year":"2019","unstructured":"Aguzzoli, S., Bianchi, M.: On linear varieties of MTL-algebras. Soft. Comput. 23(7), 2129\u20132146 (2019). https:\/\/doi.org\/10.1007\/s00500-018-3423-3","journal-title":"Soft. Comput."},{"key":"1_CR6","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_CR7","doi-asserted-by":"publisher","unstructured":"Aguzzoli, S., Bianchi, M.: amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components. In: Gl\u00fcck, R., Santocanale, L., Winter, M. (eds.) Relational and Algebraic Methods in Computer Science, pp. 1\u201316. Springer, Cham (2023), https:\/\/doi.org\/10.1007\/978-3-031-28083-2_1","DOI":"10.1007\/978-3-031-28083-2_1"},{"key":"1_CR8","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-319-66830-7_2","volume-title":"Advances in Fuzzy Logic and Technology 2017","author":"S Aguzzoli","year":"2018","unstructured":"Aguzzoli, S., Bianchi, M., Valota, D.: The classification of all the subvarieties of $$\\mathbb{DNMG}$$. In: Kacprzyk, J., Szmidt, E., Zadro\u017cny, S., Atanassov, K.T., Krawczak, M. (eds.) IWIFSGN\/EUSFLAT -2017. AISC, vol. 641, pp. 12\u201324. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-66830-7_2"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s00500-016-2340-6","volume":"21","author":"S Aguzzoli","year":"2017","unstructured":"Aguzzoli, S., Bova, S., Valota, D.: Free weak nilpotent minimum algebras. Soft. Comput. 21, 79\u201395 (2017). https:\/\/doi.org\/10.1007\/s00500-016-2340-6","journal-title":"Soft. Comput."},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0001-8708(77)90056-1","volume":"24","author":"K Baker","year":"1977","unstructured":"Baker, K.: Finite equational bases for finite algebras in a congruence-distributive equational class. Adv. Math. 24(3), 207\u2013243 (1977). https:\/\/doi.org\/10.1016\/0001-8708(77)90056-1","journal-title":"Adv. Math."},{"key":"1_CR11","doi-asserted-by":"publisher","unstructured":"Bianchi, M.: Strictly join irreducible elements in the lattice of varieties of BL-algebras. In: 2017 IEEE Symposium Series on Computational Intelligence (SSCI) Proceedings. IEEE (2018). https:\/\/doi.org\/10.1109\/SSCI.2017.8285361","DOI":"10.1109\/SSCI.2017.8285361"},{"issue":"8","key":"1_CR12","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1007\/s00153-009-0145-3","volume":"48","author":"M Bianchi","year":"2009","unstructured":"Bianchi, M., Montagna, F.: Supersound many-valued logics and Dedekind-MacNeille completions. Arch. Math. Log. 48(8), 719\u2013736 (2009). https:\/\/doi.org\/10.1007\/s00153-009-0145-3","journal-title":"Arch. Math. Log."},{"issue":"3\u20134","key":"1_CR13","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s00153-010-0213-8","volume":"50","author":"M Bianchi","year":"2011","unstructured":"Bianchi, M., Montagna, F.: $$n$$-contractive BL-logics. Arch. Math. Log. 50(3\u20134), 257\u2013285 (2011). https:\/\/doi.org\/10.1007\/s00153-010-0213-8","journal-title":"Arch. Math. Log."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Blok, W., Pigozzi, D.: Algebraizable logics, Memoirs of The American Mathematical Society, vol.\u00a077. American Mathematical Society (1989). tinyurl.com\/o89ug5o","DOI":"10.1090\/memo\/0396"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/BF00370315","volume":"39","author":"W Blok","year":"1980","unstructured":"Blok, W.: Pretabular varieties of modal algebras. Stud. Logica. 39, 101\u2013124 (1980). https:\/\/doi.org\/10.1007\/BF00370315","journal-title":"Stud. Logica."},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.fss.2019.03.015","volume":"382","author":"JL Castiglioni","year":"2020","unstructured":"Castiglioni, J.L., Zuluaga Botero, W.J.: On finite MTL-algebras that are representable as poset products of archimedean chains. Fuzzy Sets Syst. 382, 57\u201378 (2020). https:\/\/doi.org\/10.1016\/j.fss.2019.03.015","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"1_CR17","doi-asserted-by":"publisher","first-page":"295","DOI":"10.33044\/revuma.1787","volume":"62","author":"JL Castiglioni","year":"2021","unstructured":"Castiglioni, J.L., Zuluaga Botero, W.J.: Split exact sequences of finite MTL-chains. Rev. Un. Mat. Argentina 62(2), 295\u2013304 (2021). https:\/\/doi.org\/10.33044\/revuma.1787","journal-title":"Rev. Un. Mat. Argentina"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Cignoli, R., D\u2019Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning, Trends in Logic, vol.\u00a07. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-015-9480-6_2"},{"issue":"1","key":"1_CR19","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.apal.2009.01.012","volume":"160","author":"P Cintula","year":"2009","unstructured":"Cintula, P., Esteva, F., Gispert, J., Godo, L., Montagna, F., Noguera, C.: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann. Pure Appl. Log. 160(1), 53\u201381 (2009). https:\/\/doi.org\/10.1016\/j.apal.2009.01.012","journal-title":"Ann. Pure Appl. Log."},{"key":"1_CR20","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C.: Handbook of Mathematical Fuzzy Logic, vol. 1 and 2. College Publications (2011)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1111\/j.1755-2567.1977.tb00779.x","volume":"43","author":"L Esakia","year":"1977","unstructured":"Esakia, L., Meskhi, V.: 5 critical modal systems. Theoria 43, 52\u201360 (1977)","journal-title":"Theoria"},{"issue":"3","key":"1_CR22","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(3), 271\u2013288 (2001). https:\/\/doi.org\/10.1016\/S0165-0114(01)00098-7","journal-title":"Fuzzy Sets Syst."},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Freese, R.S., McKenzie, R.N., McNulty, G.F., Taylor, W.F.: Algebras, Lattices, Varieties: Volume II, vol.\u00a0268. American Mathematical Society (2022)","DOI":"10.1090\/surv\/269"},{"key":"1_CR24","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Studies in Logic and The Foundations of Mathematics, vol.\u00a0151. Elsevier (2007)"},{"key":"1_CR25","unstructured":"Gispert, J.: Axiomatic extensions of the nilpotent minimum logic. Rep. Math. Log. 37, 113\u2013123 (2003). tinyurl.com\/nqsle2f"},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S Jenei","year":"2002","unstructured":"Jenei, S., Montagna, F.: A proof of standard completeness for Esteva and Godo\u2019s logic MTL. Stud. Log. 70(2), 183\u2013192 (2002). https:\/\/doi.org\/10.1023\/A:1015122331293","journal-title":"Stud. Log."},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"110","DOI":"10.7146\/math.scand.a-10850","volume":"21","author":"B J\u00f3nsson","year":"1967","unstructured":"J\u00f3nsson, B.: Algebras whose congruence lattices are distributive. Math. Scand. 21, 110\u2013121 (1967). https:\/\/doi.org\/10.7146\/math.scand.a-10850","journal-title":"Math. Scand."},{"key":"1_CR28","unstructured":"Katoh, Y., Kowalski, T., Ueda, M.: Almost minimal varieties related to fuzzy logic. Rep. Math. Log. pp. 173\u2013194 (2006). tinyurl.com\/h8sc6j3"},{"issue":"10","key":"1_CR29","doi-asserted-by":"publisher","first-page":"2841","DOI":"10.1090\/S0002-9939-99-05097-2","volume":"127","author":"K Kearnes","year":"1999","unstructured":"Kearnes, K., Willard, R.: Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound. Proc. Am. Math. Soc. 127(10), 2841\u20132850 (1999). https:\/\/doi.org\/10.1090\/S0002-9939-99-05097-2","journal-title":"Proc. Am. Math. Soc."},{"key":"1_CR30","first-page":"3","volume":"33","author":"T Kowalski","year":"1999","unstructured":"Kowalski, T.: Pretabular varieties of equivalential algebras. Reports Math. Log. 33, 3\u201310 (1999)","journal-title":"Reports Math. Log."},{"issue":"5","key":"1_CR31","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/BF02330744","volume":"11","author":"L Maksimova","year":"1972","unstructured":"Maksimova, L.: Pretabular superintuitionist logic. Alg. Log. 11(5), 308\u2013314 (1972). https:\/\/doi.org\/10.1007\/BF02330744","journal-title":"Alg. Log."},{"issue":"1","key":"1_CR32","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/BF01668576","volume":"14","author":"L Maksimova","year":"1975","unstructured":"Maksimova, L.: Pretabular extensions of Lewis s4. Alg. Log. 14(1), 16\u201333 (1975). https:\/\/doi.org\/10.1007\/BF01668576","journal-title":"Alg. Log."},{"issue":"1","key":"1_CR33","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/BF01979699","volume":"23","author":"SI Mardaev","year":"1984","unstructured":"Mardaev, S.I.: Number of prelocally table superintuitionistic propositional logics. Alg. Log. 23(1), 56\u201366 (1984). https:\/\/doi.org\/10.1007\/BF01979699","journal-title":"Alg. Log."},{"key":"1_CR34","unstructured":"Noguera, C.: Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Ph.D. thesis, IIIA-CSIC (2006)"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/S1385-7258(65)50019-6","volume":"68","author":"A Troelstra","year":"1965","unstructured":"Troelstra, A.: On intermediate propositional logics. Indagationes Mathematicae (Proceedings) 68, 141\u2013152 (1965). https:\/\/doi.org\/10.1016\/S1385-7258(65)50019-6","journal-title":"Indagationes Mathematicae (Proceedings)"}],"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-031-68279-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,11]],"date-time":"2024-08-11T23:07:10Z","timestamp":1723417630000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68279-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031682780","9783031682797"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68279-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"12 August 2024","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":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 August 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ramics2023a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ramics-conf.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}