{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,17]],"date-time":"2025-04-17T13:47:33Z","timestamp":1744897653904},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2010,10,16]],"date-time":"2010-10-16T00:00:00Z","timestamp":1287187200000},"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":[[2011,5]]},"DOI":"10.1007\/s00153-010-0213-8","type":"journal-article","created":{"date-parts":[[2010,10,15]],"date-time":"2010-10-15T06:46:09Z","timestamp":1287125169000},"page":"257-285","source":"Crossref","is-referenced-by-count":16,"title":["n-Contractive BL-logics"],"prefix":"10.1007","volume":"50","author":[{"given":"Matteo","family":"Bianchi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Montagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,10,16]]},"reference":[{"issue":"1","key":"213_CR1","doi-asserted-by":"crossref","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(1), 73\u201398 (2007). doi: 10.1007\/s11225-007-9078-1","journal-title":"Studia Logica"},{"issue":"2\u20133","key":"213_CR2","doi-asserted-by":"crossref","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). doi: 10.1016\/S0022-4049(02)00329-8","journal-title":"J. Pure Appl. Algebra"},{"key":"213_CR3","doi-asserted-by":"crossref","unstructured":"Aguzzoli, S., Bova, S., Marra, V.: Applications of finite duality to locally finite varieties of BL-algebras. In: Artemov, S., Nerode, A. (eds.), Logical Foundations of Computer Science\u2014International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3\u20136, 2009. Proceedings, Lecture Notes in Computer Science, vol. 5407, pp. 1\u201315. Springer, Berlin (2009). doi: 10.1007\/978-3-540-92687-0_1","DOI":"10.1007\/978-3-540-92687-0_1"},{"issue":"8","key":"213_CR4","doi-asserted-by":"crossref","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). doi: 10.1007\/s00153-009-0145-3","journal-title":"Arch. Math. Log."},{"issue":"2\u20133","key":"213_CR5","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"W. Blok","year":"2000","unstructured":"Blok W., Ferreirim I.: On the structure of hoops. Algebra Universalis 43(2\u20133), 233\u2013257 (2000). doi: 10.1007\/s000120050156","journal-title":"Algebra Universalis"},{"key":"#cr-split#-213_CR6.1","doi-asserted-by":"crossref","unstructured":"Blok, W., Pigozzi, D.: Algebraizable logics. No. 396 in memoirs of The American Mathematical Society. Am. Math. Soc. (1989);","DOI":"10.1090\/memo\/0396"},{"key":"#cr-split#-213_CR6.2","unstructured":"ISBN:0-8218-2459-7. Available on http:\/\/orion.math.iastate.edu\/dpigozzi\/"},{"key":"213_CR7","unstructured":"Burris, S., Sankappanavar, H.P.: A course in Universal Algebra, Graduate Texts in Mathematics, vol. 78. Springer, New York (1981). An updated and revised electronic edition is available on http:\/\/www.math.uwaterloo.ca\/~snburris\/htdocs\/ualg.html"},{"issue":"4","key":"213_CR8","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/s00012-010-0055-6","volume":"62","author":"M. Busaniche","year":"2009","unstructured":"Busaniche M., Cabrer L.: Canonicity in subvarieties of BL-algebras. Algebra Universalis 62(4), 375\u2013397 (2009). doi: 10.1007\/s00012-010-0055-6","journal-title":"Algebra Universalis"},{"issue":"5","key":"213_CR9","first-page":"453","volume":"16","author":"A. Ciabattoni","year":"2008","unstructured":"Ciabattoni A., Esteva F., Godo L.: T-norm based logics with n-contraction. Neural Netw. World 16(5), 453\u2013495 (2008). doi: 10.1093\/jigpal\/jzn014","journal-title":"Neural Netw. World"},{"key":"#cr-split#-213_CR10.1","doi-asserted-by":"crossref","unstructured":"Cignoli, R., D\u2019Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning, Trends in Logic, vol. 7. Kluwer Academic Publishers, Berlin (1999);","DOI":"10.1007\/978-94-015-9480-6_2"},{"key":"#cr-split#-213_CR10.2","unstructured":"ISBN:9780792360094"},{"key":"213_CR11","unstructured":"Cintula, P.: From fuzzy logic to fuzzy mathematics. Ph.D. thesis, FNSPE CTU, Department of Mathematics, Faculty of Nuclear Sciences and Physical Engineering\u2014Czech Technical University in Prague, Trojanova 13, 120 00 Prague 2, Czech Republic (2004). Available on http:\/\/www2.cs.cas.cz\/~cintula\/thesis.pdf"},{"issue":"1","key":"213_CR12","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). doi: 10.1016\/j.apal.2009.01.012","journal-title":"Ann. Pure Appl. Log."},{"issue":"3","key":"213_CR13","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/j.fss.2009.09.006","volume":"161","author":"P. Cintula","year":"2010","unstructured":"Cintula P., H\u00e1jek P.: Triangular norm predicate fuzzy logics. Fuzzy Sets Syst. 161(3), 311\u2013346 (2010). doi: 10.1016\/j.fss.2009.09.006","journal-title":"Fuzzy Sets Syst."},{"key":"213_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"2002","unstructured":"Davey B.A., Priestley H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002). doi: 10.2277\/0521784514 ISBN:9780521784511","edition":"2"},{"issue":"2","key":"213_CR15","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1006\/jabr.1999.8136","volume":"225","author":"A. Nola di","year":"2000","unstructured":"di Nola A., Lettieri A.: One chain generated varieties of MV-algebras. J. Algebra 225(2), 667\u2013697 (2000). doi: 10.1006\/jabr.1999.8136","journal-title":"J. Algebra"},{"issue":"3","key":"213_CR16","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). doi: 10.1016\/S0165-0114(01)00098-7","journal-title":"Fuzzy Sets Syst."},{"key":"213_CR17","unstructured":"Ferreirim, I.: On varieties and quasivarieties of hoops and their reducts. Ph.D. thesis, University of Illinois at Chicago, Chicago (1992)"},{"key":"213_CR18","volume-title":"Residuated Lattices: an Algebraic Glimpse at Substructural Logics, Studies in Logic and The Foundations of Mathematics, vol. 151","author":"N. Galatos","year":"2007","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. 151. Elsevier, Amsterdam (2007) ISBN:978-0-444-52141-5"},{"key":"213_CR19","unstructured":"Grigolia, R.: Algebraic analysis of \u0141ukasiewicz-tarski n-valued logical systems. In: Selected Papers on \u0141ukasiewicz Sentencial Calculi, pp. 81\u201391. Polish Academy of Science, Ossolineum (1977)"},{"key":"213_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4, paperback edn","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P.: Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4, paperback edn. Kluwer Academic Publishers, Berlin (1998) ISBN:9781402003707"},{"issue":"3","key":"213_CR21","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1002\/malq.200610044","volume":"53","author":"R. Hor\u010d\u00edk","year":"2007","unstructured":"Hor\u010d\u00edk R., Noguera C., Petr\u00edk M.: On n-contractive fuzzy logics. Math. Log. Quart. 53(3), 268\u2013288 (2007). doi: 10.1002\/malq.200610044","journal-title":"Math. Log. Quart."},{"key":"213_CR22","unstructured":"Labuschagne, C., van Alten, C.: On the MacNeille completion of MTL-chains. In: Proceedings of the Ninth International Conference on Intelligent Technologies, October 7\u20139, 2008. Samui, Thailand (2008)"},{"key":"213_CR23","unstructured":"MacNeille, H.M.: Partially ordered sets. Trans. Amer. Math. Soc. 42(3), 416\u2013460 (1937). Available on http:\/\/www.jstor.org\/stable\/1989739"},{"issue":"3","key":"213_CR24","doi-asserted-by":"crossref","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"72","author":"G. Metcalfe","year":"2007","unstructured":"Metcalfe G., Montagna F.: Substructural fuzzy logics. J. Symbolic Log. 72(3), 834\u2013864 (2007). doi: 10.2178\/jsl\/1191333844","journal-title":"J. Symbolic Log."},{"issue":"1\u20132","key":"213_CR25","doi-asserted-by":"crossref","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). doi: 10.1016\/j.apal.2005.11.001","journal-title":"Ann. Pure. Appl. Log."},{"issue":"2","key":"213_CR26","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1093\/logcom\/exp052","volume":"20","author":"F. Montagna","year":"2010","unstructured":"Montagna F., Noguera C.: Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics. J. Log. Comput. 20(2), 399\u2013424 (2010). doi: 10.1093\/logcom\/exp052","journal-title":"J. Log. Comput."},{"issue":"4","key":"213_CR27","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1093\/logcom\/exl002","volume":"16","author":"F. Montagna","year":"2006","unstructured":"Montagna F., Noguera C., Hor\u010d\u00edk R.: On weakly cancellative fuzzy logics. J. Log. Comput. 16(4), 423\u2013450 (2006). doi: 10.1093\/logcom\/exl002","journal-title":"J. Log. Comput."},{"key":"213_CR28","doi-asserted-by":"crossref","unstructured":"van Alten, C.J.: Preservation theorems for MTL-Chains. Log. J. IGPL (2010). doi: 10.1093\/jigpal\/jzp088","DOI":"10.1093\/jigpal\/jzp088"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0213-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-010-0213-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-010-0213-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T14:15:25Z","timestamp":1559744125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-010-0213-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,16]]},"references-count":30,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["213"],"URL":"https:\/\/doi.org\/10.1007\/s00153-010-0213-8","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,10,16]]}}}