{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:01:47Z","timestamp":1759147307853,"version":"3.43.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,7,1]],"date-time":"2002-07-01T00:00:00Z","timestamp":1025481600000},"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,7]]},"DOI":"10.1023\/a:1016500922708","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T22:32:49Z","timestamp":1041114769000},"page":"227-245","source":"Crossref","is-referenced-by-count":33,"title":["Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL\u2200"],"prefix":"10.1007","volume":"71","author":[{"given":"Franco","family":"Montagna","sequence":"first","affiliation":[]},{"given":"Hiroakira","family":"Ono","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5095428_CR1","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R. Cignoli","year":"2000","unstructured":"R. Cignoli, F. Esteva, L. Godo and A. Torrens, 'Basic fuzzy logic is the logic of continuous t-norms and their residua', Soft Computing 4 (2000) 106-112.","journal-title":"Soft Computing"},{"key":"5095428_CR2","doi-asserted-by":"crossref","unstructured":"R. Cignoli, D. Mundici and I. M. L. D'Ottaviano, Algebraic Foundations of Many-Valued Reasoning, Kluwer 2000.","DOI":"10.1007\/978-94-015-9480-6"},{"key":"5095428_CR3","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/BF00671566","volume":"XLVII","author":"K. Do\u0160en","year":"1988","unstructured":"K. Do\u0160en, 'Sequent systems and groupoid models I', Studia Logica XLVII (1988) 353-385.","journal-title":"Studia Logica"},{"key":"5095428_CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00370633","volume":"XLVIII","author":"K. Do\u0160en","year":"1989","unstructured":"K. Do\u0160en, 'Sequent systems and groupoid models II', Studia Logica XLVIII (1989) 41-65.","journal-title":"Studia Logica"},{"key":"5095428_CR5","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F. Esteva","year":"2001","unstructured":"F. Esteva and L. Godo, 'Monoidal t-norm based logic: towards a logic for left-continuous t-norms', Fuzzy Sets and Systems 124 (2001), 271-288.","journal-title":"Fuzzy Sets and Systems"},{"key":"5095428_CR6","unstructured":"F. Esteva, L. Godo, J. Gispert and F. Montagna, 'On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic', Studia Logica, this volume, 393-420."},{"key":"5095428_CR7","doi-asserted-by":"crossref","unstructured":"P. H\u00c1jek, Metamathematics of Fuzzy Logic, Kluwer, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"issue":"1","key":"5095428_CR8","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1023\/A:1011906423560","volume":"68","author":"P. H\u00c1jek","year":"2001","unstructured":"P. H\u00c1jek, 'Fuzzy logic and arithmetical hierarchy III', Studia Logica 68,1 (2001), 129-142.","journal-title":"Studia Logica"},{"issue":"2","key":"5095428_CR9","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S. Jenei","year":"2002","unstructured":"S. Jenei and F. Montagna, 'A proof of standard completeness for Esteva's and Godo's logic MTL', Studia Logica 70,2 (2002), 183-192.","journal-title":"Studia Logica"},{"key":"5095428_CR10","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/BF00370189","volume":"2","author":"E. Kiriyama","year":"1991","unstructured":"E. Kiriyama and H. Ono, 'The contraction rule and decision problems for logics without structural rules', Studia Logica L, 2 (1991), 299-319.","journal-title":"Studia Logica"},{"key":"5095428_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9540-7","volume-title":"Triangular Norms","author":"E. P. Klement","year":"2000","unstructured":"E. P. Klement, R. Mesiar and E. Pap, Triangular Norms, Kluwer Academic Publishers, Dordrecht (2000)."},{"key":"5095428_CR12","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/BF00370272","volume":"45","author":"Y. Komori","year":"1986","unstructured":"Y. Komori, 'Pedicate logics without the structure rules', Studia Logica 45 (1986), 393-404.","journal-title":"Studia Logica"},{"key":"5095428_CR13","first-page":"166","volume":"12","author":"J. Lambek","year":"1958","unstructured":"J. Lambek, 'The mathematics of sentence structure', American Mathematical Monthly 12 (1958), 166-178.","journal-title":"American Mathematical Monthly"},{"issue":"1","key":"5095428_CR14","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1023\/A:1011958407631","volume":"68","author":"F. Montagna","year":"2001","unstructured":"F. Montagna, 'Three complexity problems in predicate fuzzy logic', Studia Logica 68,1 (2001), 143-152.","journal-title":"Studia Logica"},{"issue":"2","key":"5095428_CR15","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF00379766","volume":"44","author":"H. Ono","year":"1985","unstructured":"H. Ono, 'Semantical analysis of predicate logics without the contraction rule', Studia Logica 44,2 (1985), 187-196.","journal-title":"Studia Logica"},{"key":"5095428_CR16","doi-asserted-by":"crossref","unstructured":"H. Ono, 'Structural rules and a logical hierarchy', in: Mathematical Logic, Proceedings of the Summer School and Conference on Mathematical Logic, Heyting'88, P.P. Petkov (ed.), Plenum Press, 1990, pp. 95-104.","DOI":"10.1007\/978-1-4613-0609-2_8"},{"key":"5095428_CR17","doi-asserted-by":"crossref","unstructured":"H. Ono, 'Semantics for substructural logics', in: Substructural Logics, eds. by K. Do\u0161en and P. Schroeder-Heister, Oxford University Press, 1993, pp. 259-291.","DOI":"10.1093\/oso\/9780198537779.003.0010"},{"key":"5095428_CR18","unstructured":"H. Ono, 'Logics without the contraction rule and residuated lattices I', Festschrift on the occasion of R. K. Meyer's 65th birthday (forthcoming)."},{"key":"5095428_CR19","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H. Ono","year":"1985","unstructured":"H. Ono and Y. Komori, 'Logics without the contraction rule', Journal of Symbolic Logic 50 (1985), 169-201.","journal-title":"Journal of Symbolic Logic"},{"key":"5095428_CR20","unstructured":"M. E. Ragaz, Arithmetische Klassification von Formelnmenge der unendlichwertigen Logik, ETH Z\u00fcrich, (1981) Thesis."},{"key":"5095428_CR21","unstructured":"A. S. Troelstra and D. van Dalen, Constructivism in Mathematics. An Introduction vol.II, Studies in Logic and the Foundations of Mathematics, vol. 123, North-Holland, 1988."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016500922708.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1016500922708\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016500922708.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:28:50Z","timestamp":1754630930000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1016500922708"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":21,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["5095428"],"URL":"https:\/\/doi.org\/10.1023\/a:1016500922708","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}