{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:05:45Z","timestamp":1777633545306,"version":"3.51.4"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2002,3]]},"DOI":"10.1023\/a:1015122331293","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T17:32:56Z","timestamp":1041096776000},"page":"183-192","source":"Crossref","is-referenced-by-count":173,"title":["A Proof of Standard Completeness for Esteva and Godo's Logic MTL"],"prefix":"10.1007","volume":"70","author":[{"given":"S\u00e1ndor","family":"Jenei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Montagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"407878_CR1","volume-title":"Proceedings of the Summer School and Conference in Mathematical Logic Heyting","author":"V. M. Abrusci","year":"1990","unstructured":"Abrusci, V. M., 'A sequent calculus for intuitionistic linear propositional logic', in: Proceedings of the Summer School and Conference in Mathematical Logic Heyting 88, Chaika, Bulgaria, Plenum Press 1990."},{"key":"407878_CR2","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R. Cignoli","year":"2000","unstructured":"Cignoli, R., F. Esteva, L. Godo, and A. Torrens, 'Basic Fuzzy Logic is the logic of continuous t-norms and of their residua', Soft Computing 4 (2000), 106-112.","journal-title":"Soft Computing"},{"issue":"3","key":"407878_CR3","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., and L. Godo, 'Monoidal t-norm based Logic: towards a logic for left-continuous t-norms', Fuzzy Sets and Systems 124,3 (2001), 271-288.","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"407878_CR4","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/S0165-0114(01)00100-2","volume":"124","author":"S. Gottwald","year":"2001","unstructured":"Gottwald, S., and S. Jenei, 'A new axiomatization for Involutive Monoidal T-norm-based Logic', Fuzzy Sets and Systems 124,3 (2001), 303-307.","journal-title":"Fuzzy Sets and Systems"},{"key":"407878_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00c1jek","year":"1998","unstructured":"H\u00c1jek, P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998."},{"key":"407878_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-94-011-0215-5_5","volume-title":"Non-Classical Logics and Their Applications to Fuzzy Subsets","author":"U. H\u00d6hle","year":"1995","unstructured":"H\u00d6hle, U., 'Commutative, residuated l-monoids', in Non-Classical Logics and Their Applications to Fuzzy Subsets, U. H\u00f6hle, E. P. Klement (eds.), Kluwer Academic Publisher, Dordrecht, 1995, pp. 53-106."},{"key":"407878_CR7","unstructured":"Jenei, S., 'Structure of Girard monoids on [0, 1]', in Topological and Algebraic Structures in Fuzzy Sets, E. P. Klement and S. E. Rodabaugh (eds.), Kluwer Academic Publishers, (to appear)."},{"key":"407878_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9540-7","volume-title":"Triangular Norms","author":"E. P. Klement","year":"2000","unstructured":"Klement, E. P., R. Mesiar, and E. Pap, Triangular Norms, Kluwer Academic Publisher, Dordrecht, 2000."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015122331293.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015122331293\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015122331293.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:23:16Z","timestamp":1754630596000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015122331293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["407878"],"URL":"https:\/\/doi.org\/10.1023\/a:1015122331293","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}