{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:29:48Z","timestamp":1725910188067},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668291"},{"type":"electronic","value":"9783319668307"}],"license":[{"start":{"date-parts":[[2017,9,2]],"date-time":"2017-09-02T00:00:00Z","timestamp":1504310400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-66830-7_2","type":"book-chapter","created":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T00:59:40Z","timestamp":1504227580000},"page":"12-24","source":"Crossref","is-referenced-by-count":1,"title":["The Classification of All the Subvarieties of $$\\mathbb {DNMG}$$"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Aguzzoli","sequence":"first","affiliation":[]},{"given":"Matteo","family":"Bianchi","sequence":"additional","affiliation":[]},{"given":"Diego","family":"Valota","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,2]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.fss.2014.07.007","volume":"292","author":"S Aguzzoli","year":"2016","unstructured":"Aguzzoli, S., Bianchi, M.: On some questions concerning the axiomatisation of WNM-algebras and their subvarieties. Fuzzy Sets Syst. 292, 5\u201331 (2016)","journal-title":"Fuzzy Sets Syst."},{"key":"2_CR2","doi-asserted-by":"crossref","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)","journal-title":"Fuzzy Sets Syst."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Aguzzoli, S., Bianchi, M.: Minimally many-valued extensions of the monoidal t-norm based logic MTL. In: Lecture Notes in Artificial Intelligence, vol. 10147, pp. 106\u2013115. Springer (2017)","DOI":"10.1007\/978-3-319-52962-2_9"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Aguzzoli, S., Bianchi, M., Valota, D.: A note on drastic product logic. In: Information Processing and Management of Uncertainty, Communications in Computer and Information Science, vol. 443, pp. 365\u2013374. Springer (2014)","DOI":"10.1007\/978-3-319-08855-6_37"},{"issue":"1","key":"2_CR5","doi-asserted-by":"crossref","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(1), 79\u201395 (2017)","journal-title":"Soft. Comput."},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.fss.2015.01.013","volume":"276","author":"M Bianchi","year":"2015","unstructured":"Bianchi, M.: The logic of the strongest and the weakest t-norms. Fuzzy Sets Syst. 276, 31\u201342 (2015)","journal-title":"Fuzzy Sets Syst."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Blok, W., Pigozzi, D.: Algebraizable logics, Memoirs of The American Mathematical Society, vol. 77. American Mathematical Society (1989)","DOI":"10.1090\/memo\/0396"},{"key":"2_CR8","unstructured":"B\u00f6rger, E., Gr\u00e4del, E., Gurevich, Y.: The Classical Decision Problem. Universitext, Springer, Heidelberg (2001). Reprint of 1997 edn"},{"issue":"3","key":"2_CR9","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1093\/logcom\/exr006","volume":"22","author":"S Bova","year":"2012","unstructured":"Bova, S., Valota, D.: Finite RDP-algebras: duality. Coproducts Log. J. Log. Comput. 22(3), 417 (2012)","journal-title":"Coproducts Log. J. Log. Comput."},{"issue":"1","key":"2_CR10","doi-asserted-by":"crossref","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)","journal-title":"Ann. Pure Appl. Log."},{"key":"2_CR11","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic, vol. 1, 2, 3. College Publications (2011)"},{"issue":"3","key":"2_CR12","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(3), 271\u2013288 (2001)","journal-title":"Fuzzy Sets Syst."},{"issue":"3","key":"2_CR13","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/j.fss.2009.09.002","volume":"161","author":"F Esteva","year":"2010","unstructured":"Esteva, F., Godo, L., Noguera, C.: On expansions of WNM t-norm based logics with truth-constants. Fuzzy Sets Syst. 161(3), 347\u2013368 (2010)","journal-title":"Fuzzy Sets Syst."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Fodor, J.: Nilpotent minimum and related connectives for fuzzy logic. In: Proceedings of 1995 IEEE International Conference on Fuzzy Systems, pp. 2077\u20132082. IEEE (1995)","DOI":"10.1109\/FUZZY.1995.409964"},{"key":"2_CR15","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse at substructural logics. In: Studies in Logic and The Foundations of Mathematics, vol. 151. Elsevier (2007)"},{"issue":"1","key":"2_CR16","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/j.fss.2005.01.004","volume":"154","author":"\u00c0 Garc\u00eda-Cerda\u00f1a","year":"2005","unstructured":"Garc\u00eda-Cerda\u00f1a, \u00c0., Noguera, C., Esteva, F.: On the scope of some formulas defining additive connectives in fuzzy logics. Fuzzy Sets Syst. 154(1), 56\u201375 (2005)","journal-title":"Fuzzy Sets Syst."},{"key":"2_CR17","first-page":"113","volume":"37","author":"J Gispert","year":"2003","unstructured":"Gispert, J.: Axiomatic extensions of the nilpotent minimum logic. Rep. Math. Log. 37, 113\u2013123 (2003)","journal-title":"Rep. Math. Log."},{"key":"2_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic, Trends in 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)"},{"issue":"2","key":"2_CR19","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/S0165-0114(01)00040-9","volume":"126","author":"S Jenei","year":"2002","unstructured":"Jenei, S.: A note on the ordinal sum theorem and its consequence for the construction of triangular norms. Fuzzy Sets Syst. 126(2), 199\u2013205 (2002)","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"2_CR20","doi-asserted-by":"crossref","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)","journal-title":"Stud. Log."},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1016\/j.fss.2015.12.016","volume":"292","author":"E Marchioni","year":"2016","unstructured":"Marchioni, E.: On deductive interpolation for the weak nilpotent minimum logic. Fuzzy Sets Syst. 292, 318\u2013332 (2016)","journal-title":"Fuzzy Sets Syst."},{"issue":"1\u20132","key":"2_CR22","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s00153-010-0207-6","volume":"50","author":"F Montagna","year":"2011","unstructured":"Montagna, F.: Completeness with respect to a chain and universal models in fuzzy logic. Arch. Math. Log. 50(1\u20132), 161\u2013183 (2011)","journal-title":"Arch. Math. Log."},{"key":"2_CR23","unstructured":"Noguera, C.: Algebraic study of axiomatic extensions of triangular norm based fuzzy logics. Ph.D. thesis, IIIA-CSIC (2006)"},{"issue":"4","key":"2_CR24","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1002\/malq.200710054","volume":"54","author":"C Noguera","year":"2008","unstructured":"Noguera, C., Esteva, F., Gispert, J.: On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Math. Log. Q. 54(4), 387\u2013409 (2008)","journal-title":"Math. Log. Q."},{"issue":"6","key":"2_CR25","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/s00500-005-0024-8","volume":"11","author":"S Wang","year":"2007","unstructured":"Wang, S.: A fuzzy logic for the revised drastic product t-norm. Soft. Comput. 11(6), 585\u2013590 (2007)","journal-title":"Soft. Comput."},{"issue":"2","key":"2_CR26","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/j.fss.2004.01.005","volume":"149","author":"SM Wang","year":"2005","unstructured":"Wang, S.M., Wang, B.S., Pei, D.W.: A fuzzy logic for an ordinal sum t-norm. Fuzzy Sets Syst. 149(2), 297\u2013307 (2005)","journal-title":"Fuzzy Sets Syst."}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Fuzzy Logic and Technology 2017"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66830-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T01:04:03Z","timestamp":1570064643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66830-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,2]]},"ISBN":["9783319668291","9783319668307"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66830-7_2","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,9,2]]}}}