{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:07:05Z","timestamp":1777633625016,"version":"3.51.4"},"reference-count":25,"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:1016548805869","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T22:32:49Z","timestamp":1041114769000},"page":"199-226","source":"Crossref","is-referenced-by-count":85,"title":["On the Standard and Rational Completeness of some Axiomatic Extensions of the Monoidal T-norm Logic"],"prefix":"10.1007","volume":"71","author":[{"given":"Francesc","family":"Esteva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joan","family":"Gispert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Llu\u00eds","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Montagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5095427_CR1","series-title":"Mem. Amer. Math. Soc.","volume-title":"Algebraizable Logics","author":"W. Blok","year":"1989","unstructured":"Blok, W., and D. Pigozzi, 'Algebraizable Logics', Mem. Amer. Math. Soc. 396, vol. 77, Amer. Math. Soc., Providence 1989."},{"key":"5095427_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF02314419","volume":"34","author":"S. Bloom","year":"1975","unstructured":"Bloom, S., 'Some theorems on structural consequence operations', Studia Logica 34, 1975, 1-9.","journal-title":"Studia Logica"},{"key":"5095427_CR3","unstructured":"Boixader, D., F. Esteva and L. Godo, 'On the continuity of t-norms on bounded chains', Proc. IFSA'99, Taiwan, 1999, pp. 476-479."},{"key":"5095427_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S. Burris","year":"1981","unstructured":"Burris, S., and H. P. Sankappanavar, A Course in Universal Algebra, Springer Verlag, New York 1981."},{"key":"5095427_CR5","volume-title":"Model Theory","author":"C. C. Chang","year":"1990","unstructured":"Chang, C. C., and H. J. Keisler. Model Theory, 3rd. edition, North Holland, Amsterdam, 1990.","edition":"3rd. edition"},{"key":"5095427_CR6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF00373095","volume":"39","author":"J. Czelakowski","year":"1980","unstructured":"Czelakowski, J., 'Reduced products of logical matrices', Studia Logica 39, 1980, 19-43.","journal-title":"Studia Logica"},{"key":"5095427_CR7","doi-asserted-by":"crossref","unstructured":"Cignoli, R., I. M. L. D'Ottaviano and D. Mundici, Algebraic Foundations of Many-valued Reasoning, Kluwer, 2000.","DOI":"10.1007\/978-94-015-9480-6"},{"key":"5095427_CR8","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 their residua', Soft Computing 4, 2000, 106-112.","journal-title":"Soft Computing"},{"key":"5095427_CR9","first-page":"45","volume":"5","author":"R. Cignoli","year":"2000","unstructured":"Cignoli, R., and A. Torrens, 'An algebraic analysis of product logic', Multiple Valued Logic 5, 2000, 45-65.","journal-title":"Multiple Valued Logic"},{"key":"5095427_CR10","first-page":"291","volume":"40","author":"A. DiNola","year":"1991","unstructured":"DiNola, A., 'Representation and reticulation by quotients of MV-algebras', Ricerche Mat. 40, 1991, 291-297.","journal-title":"Ricerche Mat."},{"key":"5095427_CR11","unstructured":"DiNola, A, F. Esteva, P. Garcia, L. Godo and S. Sessa, 'Subvarieties of BL-algebras generated by single-component chains', Archive for Mathematical Logic (to appear)."},{"issue":"3","key":"5095427_CR12","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"},{"key":"5095427_CR13","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","author":"F. Esteva","year":"1996","unstructured":"Esteva, F., L. Godo, P. H\u00c1jek, 'A complete may-valued logic with product conjunction', Archive for Mathematical Logic 35, 1996, 191-208.","journal-title":"Archive for Mathematical Logic"},{"key":"5095427_CR14","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s001530050006","volume":"39","author":"F. Esteva","year":"2000","unstructured":"Esteva, F., L. Godo, P. H\u00c1jek and M. Navara, 'Residuated fuzzy logics with an involutive negation', Archive for Mathematical Logic (2000) 39: 103-124.","journal-title":"Archive for Mathematical Logic"},{"issue":"3","key":"5095427_CR15","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-308.","journal-title":"Fuzzy Sets and Systems"},{"key":"5095427_CR16","unstructured":"H\u00c1jek, P., 'Observations on the monoidal t-norm logic', to appear in Fuzzy Sets and Systems."},{"key":"5095427_CR17","doi-asserted-by":"crossref","unstructured":"H\u00c1jek, P., Metamathematics of Fuzzy Logic, Kluwer, 1998.","DOI":"10.1007\/978-94-011-5300-3"},{"issue":"3","key":"5095427_CR18","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/s005000050043","volume":"2","author":"P. H\u00c1jek","year":"1998","unstructured":"H\u00c1jek, P., 'Basic Fuzzy Logic and BL algebras', Soft Computing 2(3), 1998, 124-128.","journal-title":"Soft Computing"},{"key":"5095427_CR19","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S. Jenei","year":"2002","unstructured":"Jenei, S., and F. Montagna, 'A proof of standard completeness for Esteva and Godo's logic MTL', Studia Logica 70, 2002, 183-192.","journal-title":"Studia Logica"},{"key":"5095427_CR20","unstructured":"Kowalski, T., H. Ono, 'Residuated Lattices: An algebraic glimpse at logics without contraction (Preliminary Report)', Research Report of the Japan Advanced Institute of Science and Technology (JAIST), 2001."},{"key":"5095427_CR21","unstructured":"Laskowski, M. C., and Y. V. Shashoua, 'A classification of BL-algebras\u2019 (paper in preparation)."},{"key":"5095427_CR22","series-title":"Proceedings of the Summer School and Conference on Mathematical Logic, Heyting 1988","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-1-4613-0609-2_8","volume-title":"Mathematical Logic","author":"H. Ono","year":"1990","unstructured":"Ono, H., 'Structural rules and logical hierarchy', in Mathematical Logic (edited by P. P. Petkov), Proceedings of the Summer School and Conference on Mathematical Logic, Heyting 1988, Plenum Press, New York 1990, pp. 95-104."},{"key":"5095427_CR23","unstructured":"Ono, H., 'Logics without contraction rule and residuated lattices I', in Festschrift on the occasion of R. K. Meyer 65th birthday (edited by E. Mares), forthcoming."},{"key":"5095427_CR24","volume-title":"An Algebraic Approach to Non-Classical Logics","author":"H. Rasiowa","year":"1974","unstructured":"Rasiowa, H., An Algebraic Approach to Non-Classical Logics, North Holland Publishing Co., Amsterdam 1974."},{"key":"5095427_CR25","first-page":"239","volume":"19","author":"R. W\u00d3jcicki","year":"1976","unstructured":"W\u00d3jcicki, R., 'On matrix representation of consequence operations of \u0141ukasiewicz's sentential calculi', Z.M.L. 19, 1976, 239-247.","journal-title":"Z.M.L."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016548805869.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1016548805869\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1016548805869.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:25:31Z","timestamp":1754630731000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1016548805869"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,7]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,7]]}},"alternative-id":["5095427"],"URL":"https:\/\/doi.org\/10.1023\/a:1016548805869","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,7]]}}}