{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T00:38:04Z","timestamp":1767141484524,"version":"build-2238731810"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,5,16]],"date-time":"2015-05-16T00:00:00Z","timestamp":1431734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s11225-015-9614-3","type":"journal-article","created":{"date-parts":[[2015,5,15]],"date-time":"2015-05-15T05:34:34Z","timestamp":1431668074000},"page":"1163-1181","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL"],"prefix":"10.1007","volume":"103","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":[[2015,5,16]]},"reference":[{"key":"9614_CR1","doi-asserted-by":"crossref","unstructured":"Baaz, M., Infinite-valued G\u00f6del logics with 0-1-projections and relativizations, in G\u00f6del \u201996. Logical Foundations of Mathematics, Computer Science and Physics\u2014Kurt G\u00f6del\u2019s Legacy, Springer, Berlin, 1996, pp. 23\u201333.","DOI":"10.1017\/9781316716939.003"},{"key":"9614_CR2","doi-asserted-by":"crossref","unstructured":"Baaz, M., A. Ciabattoni, and C. G. Ferm\u00fcller, Monadic fragments of G\u00f6del logics: Decidability and undecidability results, in N. Dershowitz, and A. Voronkov, (eds.), Logic for Programming, Artificial Intelligence, and Reasoning\u2014Proceedings of the 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15\u201319, 2007, vol. 4790\/2007 of Lecture Notes in Computer Science, Springer, Berlin, 2007, pp. 77\u201391. doi: 10.1007\/978-3-540-75560-9 .","DOI":"10.1007\/978-3-540-75560-9"},{"issue":"1\u20132","key":"9614_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.apal.2007.03.001","volume":"147","author":"M. Baaz","year":"2007","unstructured":"Baaz M., Preining N., Zach R.: First-order G\u00f6del logics. Annals of Pure and Applied Logic 147(1\u20132), 23\u201347 (2007) doi: 10.1016\/j.apal.2007.03.001","journal-title":"Annals of Pure and Applied Logic"},{"issue":"3\u20134","key":"9614_CR4","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/s00153-012-0317-4","volume":"52","author":"M. Bianchi","year":"2013","unstructured":"Bianchi M.: First-order nilpotent minimum logics: First steps. Archive for Mathematical Logic 52(3\u20134), 295\u2013316 (2013) doi: 10.1007\/s00153-012-0317-4","journal-title":"Archive for Mathematical Logic"},{"key":"9614_CR5","doi-asserted-by":"crossref","unstructured":"Blok, W., and D. Pigozzi, Algebraizable Logics, vol. 77 of Memoirs of The American Mathematical Society, American Mathematical Society, 1989. Available on http:\/\/ow.ly\/rV2G .","DOI":"10.1090\/memo\/0396"},{"key":"9614_CR6","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., E. Gr\u00e4del, and Y. Gurevich, The Classical Decision Problem, reprint of 1997 edn., Universitext, Springer, Berlin, 2001.","DOI":"10.1007\/978-3-642-59207-2"},{"issue":"1","key":"9614_CR7","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. Annals of Pure and Applied Logic 160(1), 53\u201381 (2009) doi: 10.1016\/j.apal.2009.01.012","journal-title":"Annals of Pure and Applied Logic"},{"key":"9614_CR8","unstructured":"Cintula, P., P. H\u00e1jek, and C. Noguera, (eds.), Handbook of Mathematical Fuzzy Logic, vol. 1 and 2, College Publications, 2011."},{"issue":"3","key":"9614_CR9","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 and Systems 161(3), 311\u2013346 (2010) doi: 10.1016\/j.fss.2009.09.006","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"9614_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.: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124(3), 271\u2013288 (2001) doi: 10.1016\/S0165-0114(01)00098-7","journal-title":"Fuzzy Sets and Systems"},{"issue":"4","key":"9614_CR11","doi-asserted-by":"crossref","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. Journal of Logic and Computation 13(4), 532\u2013555 (2003) doi: 10.1093\/logcom\/13.4.532","journal-title":"Journal of Logic and Computation"},{"key":"9614_CR12","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., Trakhtenbrot theorem and fuzzy logic, in G. Gottlob, E. Grandjean, and K. Seyr, (eds.), Computer Science Logic, vol. 1584 of Lecture Notes in Computer Science, Springer, Berlin, 1999, pp. 1\u20138. doi: 10.1007\/10703163_1 .","DOI":"10.1007\/10703163_1"},{"issue":"1","key":"9614_CR13","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/s11225-006-9002-0","volume":"84","author":"P. H\u00e1jek","year":"2006","unstructured":"H\u00e1jek P.: Mathematical fuzzy logic\u2014What it can learn from Mostowski and Rasiowa. Studia Logica 84(1), 51\u201362 (2006) doi: 10.1007\/s11225-006-9002-0","journal-title":"Studia Logica"},{"issue":"1","key":"9614_CR14","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1002\/malq.200610027","volume":"53","author":"P. H\u00e1jek","year":"2007","unstructured":"H\u00e1jek P.: On witnessed models in fuzzy logic. Mathematical Logic Quarterly 53(1), 66\u201377 (2007) doi: 10.1002\/malq.200610027","journal-title":"Mathematical Logic Quarterly"},{"key":"9614_CR15","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P., Metamathematics of Fuzzy Logic, vol. 4 of Trends in Logic, paperback edn., Kluwer Academic Publishers, 1998. ISBN: 9781402003707","DOI":"10.1007\/978-94-011-5300-3"},{"key":"9614_CR16","unstructured":"Monteiro, A., Sur les alg\u00e8bres de Heyting sym\u00e9triques, Portugaliae Mathematica 39(1\u20134):1\u2013237, 1980. Available on http:\/\/eudml.org\/doc\/115416 ."},{"key":"9614_CR17","unstructured":"Noguera, C., Algebraic study of axiomatic extensions of triangular norm based fuzzy logics, Ph.D. thesis, IIIA-CSIC, 2006. Available on http:\/\/ow.ly\/rV2s ."},{"key":"9614_CR18","unstructured":"Trakhtenbrot, B. A., Impossibility of an algorithm for the decision problem in finite classes, Doklady Akademii Nauk SSSR 70:569\u2013572, 1950. English translation in [19]."},{"key":"9614_CR19","doi-asserted-by":"crossref","unstructured":"Trakhtenbrot, B. A., Impossibility of an algorithm for the decision problem in finite classes, American Mathematical Society Translations 23:1\u20135, 1963. Available on http:\/\/tinyurl.com\/qen5qo .","DOI":"10.1090\/trans2\/023\/01"},{"key":"9614_CR20","doi-asserted-by":"crossref","unstructured":"Vaught, R. L., Sentences true in all constructive models, Journal of Symbolic Logic 25(1):39\u201353, 1960. Available on http:\/\/www.jstor.org\/stable\/296433 .","DOI":"10.2307\/2964336"}],"updated-by":[{"DOI":"10.1007\/s11225-015-9633-0","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2015,10,9]],"date-time":"2015-10-09T00:00:00Z","timestamp":1444348800000}}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9614-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-015-9614-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9614-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T00:20:35Z","timestamp":1566692435000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-015-9614-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,16]]},"references-count":20,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9614"],"URL":"https:\/\/doi.org\/10.1007\/s11225-015-9614-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5,16]]}}}