{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,1]],"date-time":"2026-03-01T12:37:04Z","timestamp":1772368624392,"version":"3.50.1"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,8,1]],"date-time":"2003-08-01T00:00:00Z","timestamp":1059696000000},"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":[[2003,8]]},"DOI":"10.1023\/a:1025171301247","type":"journal-article","created":{"date-parts":[[2003,9,16]],"date-time":"2003-09-16T18:25:03Z","timestamp":1063736703000},"page":"427-440","source":"Crossref","is-referenced-by-count":16,"title":["Closure Operators and Complete Embeddings of Residuated Lattices"],"prefix":"10.1007","volume":"74","author":[{"given":"Hiroakira","family":"Ono","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5144716_CR1","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s000120200000","volume":"48","author":"W. J. Blok","year":"2002","unstructured":"Blok, W. J., and C. J. Van Alten, \u2018The finite embeddability property for residuated lattices, pocrims and BCK-algebras\u2019, Algebra Universalis 48:253-271, 2002.","journal-title":"Algebra Universalis"},{"key":"5144716_CR2","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, \u2018A proof of standard completeness for Esteva and Godo's Logic MTL\u2019, Studia Logica 70:183-192, 2002.","journal-title":"Studia Logica"},{"key":"5144716_CR3","unstructured":"Kowalski, T., and H. Ono, \u2018Residuated Lattices: An algebraic glimpse at logics without contraction\u2019, monograph, March, 2001."},{"key":"5144716_CR4","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1016500922708","volume":"71","author":"F. Montagna","year":"2002","unstructured":"Montagna, F., and H. Ono, \u2018Kripke semantics, undecidability and standard completeness for Esteva and Godo's Logic MTL\u2200\u2019, Studia Logica 71:227-245, 2002.","journal-title":"Studia Logica"},{"key":"5144716_CR5","doi-asserted-by":"crossref","unstructured":"Ono, H., \u2018Semantics for substructural logics\u2019, in K. Do\u0161en and P. Schroeder-Heister, (eds.), Substructural Logics, pages 259-291. Oxford University Press, 1993.","DOI":"10.1093\/oso\/9780198537779.003.0010"},{"key":"5144716_CR6","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H. Ono","year":"1985","unstructured":"Ono, H., and Y. Komori, \u2018Logics without the contraction rule\u2019, The Journal of Symbolic Logic 50:169-201, 1985.","journal-title":"The Journal of Symbolic Logic"},{"key":"5144716_CR7","unstructured":"Restall, G., An Introduction to Substructural Logics, Routledge, 2000."},{"key":"5144716_CR8","unstructured":"Rosenthal, K. I., Quantales and Their Applications, Pitman Research Notes in Mathematics 234, Longman, 1990."},{"key":"5144716_CR9","unstructured":"Troelstra, A., 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:1025171301247.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1025171301247\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1025171301247.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:16:01Z","timestamp":1754630161000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1025171301247"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,8]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,8]]}},"alternative-id":["5144716"],"URL":"https:\/\/doi.org\/10.1023\/a:1025171301247","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,8]]}}}