{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:30:43Z","timestamp":1771471843386,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,10,3]],"date-time":"2016-10-03T00:00:00Z","timestamp":1475452800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura esk\u00e9 Republiky","doi-asserted-by":"publisher","award":["15-34650L"],"award-info":[{"award-number":["15-34650L"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["I1897- N25"],"award-info":[{"award-number":["I1897- N25"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"name":"RVO","award":["67985807"],"award-info":[{"award-number":["67985807"]}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN2015-71799-C2-1-P"],"award-info":[{"award-number":["TIN2015-71799-C2-1-P"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003329","name":"Ministerio de Econom\u00eda y Competitividad","doi-asserted-by":"publisher","award":["TIN2015-71799-C2-1-P"],"award-info":[{"award-number":["TIN2015-71799-C2-1-P"]}],"id":[{"id":"10.13039\/501100003329","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003030","name":"Ag\u00e9ncia de Gesti\u00f3 dAjuts Universitaris i de Recerca","doi-asserted-by":"publisher","award":["2014 SGR 118"],"award-info":[{"award-number":["2014 SGR 118"]}],"id":[{"id":"10.13039\/501100003030","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003030","name":"Ag\u00e9ncia de Gesti\u00f3 dAjuts Universitaris i de Recerca","doi-asserted-by":"publisher","award":["2014 SGR 118"],"award-info":[{"award-number":["2014 SGR 118"]}],"id":[{"id":"10.13039\/501100003030","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003030","name":"Ag\u00e9ncia de Gesti\u00f3 dAjuts Universitaris i de Recerca","doi-asserted-by":"publisher","award":["2014 SGR 788"],"award-info":[{"award-number":["2014 SGR 788"]}],"id":[{"id":"10.13039\/501100003030","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1007\/s00500-016-2338-0","type":"journal-article","created":{"date-parts":[[2016,10,3]],"date-time":"2016-10-03T06:06:23Z","timestamp":1475474783000},"page":"125-147","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["On strong standard completeness in some MTL $$_\\Delta $$ \u0394 expansions"],"prefix":"10.1007","volume":"21","author":[{"given":"Amanda","family":"Vidal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F\u00e9lix","family":"Bou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesc","family":"Esteva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6929-3126","authenticated-orcid":false,"given":"Llu\u00eds","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,3]]},"reference":[{"issue":"2\u20133","key":"2338_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/S0022-4049(02)00329-8","volume":"181","author":"P Agliano","year":"2003","unstructured":"Agliano P, Montagna F (2003) Varieties of BL-algebras. I. General properties. J Pure Appl Algebra 181(2\u20133):105\u2013129","journal-title":"J Pure Appl Algebra"},{"key":"2338_CR2","volume-title":"Algebraizable logics","author":"WJ Blok","year":"1989","unstructured":"Blok WJ, Pigozzi D (1989) Algebraizable logics, vol 396. Memoirs of the American Mathematical Society AMS, Providence"},{"issue":"5","key":"2338_CR3","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1093\/logcom\/exp062","volume":"21","author":"F Bou","year":"2011","unstructured":"Bou F, Esteva F, Godo L, Rodr\u00edguez R (2011) On the minimum many-valued modal logic over a finite residuated lattice. J Logic Comput 21(5):739\u2013790","journal-title":"J Logic Comput"},{"issue":"2","key":"2338_CR4","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R Cignoli","year":"2000","unstructured":"Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput 4(2):106\u2013112","journal-title":"Soft Comput"},{"key":"2338_CR5","unstructured":"Cintula P (2004) From fuzzy logic to fuzzy mathematics. Ph.D. thesis, Czech Technical University in Prague"},{"key":"2338_CR6","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1016\/j.fss.2014.11.021","volume":"292","author":"P Cintula","year":"2016","unstructured":"Cintula P (2016) A note on axiomatizations of Pavelka-style complete fuzzy logics. Fuzzy Sets Syst 292:160\u2013174","journal-title":"Fuzzy Sets Syst"},{"issue":"4","key":"2338_CR7","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s00153-010-0178-7","volume":"49","author":"P Cintula","year":"2010","unstructured":"Cintula P, Noguera C (2010) Implicational (semilinear) logics I: a new hierarchy. Arch Math Logic 49(4):417\u2013446","journal-title":"Arch Math Logic"},{"issue":"4","key":"2338_CR8","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1007\/s11225-013-9496-1","volume":"101","author":"P Cintula","year":"2013","unstructured":"Cintula P, Noguera C (2013) The proof by cases property and its variants in structural consequence relations. Studia Logica 101(4):713\u2013747","journal-title":"Studia Logica"},{"key":"2338_CR9","volume-title":"Handbook of mathematical fuzzy logic (in 2 volumes), volume 37 and 38 of studies in logic, mathematical logic and foundation","year":"2011","unstructured":"Cintula P, H\u00e1jek P, Noguera C (eds) (2011) Handbook of mathematical fuzzy logic (in 2 volumes), volume 37 and 38 of studies in logic, mathematical logic and foundation. College Publications, London"},{"key":"2338_CR10","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 (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271\u2013288","journal-title":"Fuzzy Sets Syst"},{"key":"2338_CR11","doi-asserted-by":"crossref","unstructured":"Esteva F, Godo L, Montagna F (2004) Equational characterization of the subvarieties of BL generated by t-norm algebras. Studia Logica 76(2):161\u2013200","DOI":"10.1023\/B:STUD.0000032084.12744.e3"},{"key":"2338_CR12","doi-asserted-by":"crossref","unstructured":"Givant S, Halmos P (2009) Introduction to boolean algebras. Undergraduate texts in mathematics. Springer, Berlin","DOI":"10.1007\/978-0-387-68436-9"},{"key":"2338_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic, volume 4 of trends in logic. Studia Logica Library","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic, volume 4 of trends in logic. Studia Logica Library. Kluwer Academic Publishers, Dordrecht"},{"issue":"1","key":"2338_CR14","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s11083-013-9285-5","volume":"31","author":"Z Hanikov\u00e1","year":"2014","unstructured":"Hanikov\u00e1 Z (2014) Varieties generated by standard BL-algebras. Order 31(1):15\u201333","journal-title":"Order"},{"key":"2338_CR15","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S Jenei","year":"2002","unstructured":"Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo\u2019s logic MTL. Studia Logica 70:183\u2013192","journal-title":"Studia Logica"},{"key":"2338_CR16","doi-asserted-by":"crossref","unstructured":"Montagna F (2007) Notes on strong completeness in \u0141ukasiewicz, product and BL logics and in their first-order extensions. In: Algebraic and proof-theoretic aspects of non-classical logics: papers in honor of Daniele Mundici on the occasion of his 60th birthday, LNCS, vol 4460. Springer, pp 247\u2013274","DOI":"10.1007\/978-3-540-75939-3_15"},{"issue":"1","key":"2338_CR17","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979a) On fuzzy logic. I. Many-valued rules of inference. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 25(1):45\u201352","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"2","key":"2338_CR18","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19790250706","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979b) On fuzzy logic. II. Enriched residuated lattices and semantics of propositional calculi. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik. 25(2):119\u2013134","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik."},{"issue":"5","key":"2338_CR19","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1002\/malq.19790252510","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979c) On fuzzy logic. III. Semantical completeness of some many-valued propositional calculi. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 25(5):447\u2013464","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"issue":"3","key":"2338_CR20","doi-asserted-by":"crossref","first-page":"851","DOI":"10.2307\/2274139","volume":"49","author":"G Takeuti","year":"1984","unstructured":"Takeuti G, Titani S (1984) Intuitionistic fuzzy logic and intuitionistic fuzzy set theory. J Symb Logic 49(3):851\u2013866","journal-title":"J Symb Logic"},{"key":"2338_CR21","doi-asserted-by":"publisher","unstructured":"Vidal A, Esteva F, Godo L (2016) On modal extensions of product fuzzy logic. J Logic Comput. doi: 10.1093\/logcom\/exv046 (in press)","DOI":"10.1093\/logcom\/exv046"},{"key":"2338_CR22","unstructured":"Vidal A, Godo L, Esteva F (2015) On strongly standard complete fuzzy logics: $${MTL}^{Q}_*$$ M T L \u2217 Q and its expansions. In: Alonso JM, Bustince H, Reformat M (eds) Proceedings of the IFSA-EUSFLAT-15, Gij\u00f3n, Spain. Atlantis Press, pp 828\u2013835"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2338-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-016-2338-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-016-2338-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T02:16:19Z","timestamp":1568427379000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-016-2338-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,3]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,1]]}},"alternative-id":["2338"],"URL":"https:\/\/doi.org\/10.1007\/s00500-016-2338-0","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,3]]}}}