{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,19]],"date-time":"2024-04-19T05:40:32Z","timestamp":1713505232912},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2012,2,9]],"date-time":"2012-02-09T00:00:00Z","timestamp":1328745600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1007\/s11225-012-9381-3","type":"journal-article","created":{"date-parts":[[2012,2,8]],"date-time":"2012-02-08T04:47:51Z","timestamp":1328676471000},"page":"339-359","source":"Crossref","is-referenced-by-count":8,"title":["Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics"],"prefix":"10.1007","volume":"100","author":[{"given":"Hiroakira","family":"Ono","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,2,9]]},"reference":[{"key":"9381_CR1","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1002\/malq.19560020803","volume":"2","author":"B. Banaschewski","year":"1956","unstructured":"Banaschewski B.: \u2018H\u00fcllensysteme und Erweiterungen von Quasi-Ordnungen\u2019. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 2, 117\u2013130 (1956)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"9381_CR2","first-page":"937","volume":"30","author":"G. Bezhanishivili","year":"2004","unstructured":"Bezhanishivili G., Harding J.: \u2018MacNeille completions of Heyting algebras\u2019. The Houston Journal of Mathematics 30, 937\u2013952 (2004)","journal-title":"The Houston Journal of Mathematics"},{"key":"9381_CR3","unstructured":"Birkhoff, G., Lattice Theory 3rd ed., American Mathematical Society, Colloquium Publications 25, 1995."},{"key":"9381_CR4","unstructured":"Blyth, T. S., Lattices and Ordered Algebraic Structures, Universitext, Springer, 2005."},{"key":"9381_CR5","doi-asserted-by":"crossref","first-page":"397","DOI":"10.2140\/pjm.1974.51.397","volume":"51","author":"W. H. Cornish","year":"1974","unstructured":"Cornish W. H.: \u2018Crawley\u2019s completion of a conditionally upper continuous lattice\u2019. Pacific Journal of Math. 51, 397\u2013405 (1974)","journal-title":"Pacific Journal of Math."},{"key":"9381_CR6","doi-asserted-by":"crossref","first-page":"748","DOI":"10.1090\/S0002-9939-1962-0140451-2","volume":"13","author":"P. Crawley","year":"1962","unstructured":"Crawley P.: \u2018Regular embeddings which preserve lattice structure\u2019. Proc. Amer. Math. Soc. 13, 748\u2013752 (1962)","journal-title":"Proc. Amer. Math. Soc."},{"key":"9381_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"2002","unstructured":"Davey B.A., Priestley H. A.: Introduction to Lattices and Order 2nd edition. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"9381_CR8","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1215\/S0012-7094-52-01972-8","volume":"19","author":"R.P. Dilworth","year":"1952","unstructured":"Dilworth R.P., McLaughlin J. E.: \u2018Distributivity in lattices\u2019. Duke Mathematical Journal 19, 683\u2013694 (1952)","journal-title":"Duke Mathematical Journal"},{"key":"9381_CR9","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/BF00370633","volume":"48","author":"K. Do\u0161en","year":"1989","unstructured":"Do\u0161en K.: \u2018Sequent systems and groupoid models. II\u2019. Studia Logica 48, 41\u201365 (1989)","journal-title":"Studia Logica"},{"key":"9381_CR10","unstructured":"Gabbay, D. M., D. Skvortsov, and V. Sheftman, Quantification in Nonclassical Logic, Studies in Logic and the Foundation of Mathematics 153, Elsevier, 2009."},{"key":"9381_CR11","unstructured":"Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: an Algebraic Glimpse at Substructural Logics, Studies in Logic and the Foundations of Mathematics 151, Elsevier, 2007."},{"key":"9381_CR12","unstructured":"Garc\u00eda-Cerda\u00f1a, A., On some implication-free fragments of substructural and fuzzy logics, Monografies de l\u2019Institut d\u2019Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial 34, Institut d\u2019Investigaci\u00f3 en Intel.lig\u00e8ncia Artificial, Consell Superior d\u2019Investigacions Cient\u00edfiques, 2008."},{"key":"9381_CR13","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1017\/S1755020309090194","volume":"2","author":"R. Goldblatt","year":"2009","unstructured":"Goldblatt R.: \u2018Conservativity of Heyting implication over relevant quantification\u2019. Review of Symbolic Logic 2, 310\u2013341 (2009)","journal-title":"Review of Symbolic Logic"},{"key":"9381_CR14","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/978-3-540-77664-2_18","volume":"46","author":"J. Harding","year":"2008","unstructured":"Harding J.: \u2018Completions of ordered algebraic structures: a survey\u2019. Interval\/Probabilistic Uncertainty and Non-classical Logics, Advances in Soft Computing 46, 231\u2013244 (2008)","journal-title":"Interval\/Probabilistic Uncertainty and Non-classical Logics, Advances in Soft Computing"},{"key":"9381_CR15","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1142\/S0218196702001048","volume":"12","author":"J. Hart","year":"2002","unstructured":"Hart J., Rafter L., Tsinakis C.: \u2018The structure of commutative residuated lattices\u2019. International Journal of Algebra and Computation 12, 509\u2013524 (2002)","journal-title":"International Journal of Algebra and Computation"},{"key":"9381_CR16","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF01110457","volume":"108","author":"M. F. Janowitz","year":"1968","unstructured":"Janowitz M. F.: \u2018Section semicomplemented lattices\u2019. Mathematische Zeitschrift 108, 63\u201376 (1968)","journal-title":"Mathematische Zeitschrift"},{"key":"9381_CR17","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1016500922708","volume":"71","author":"F. Montagna","year":"2002","unstructured":"Montagna F., Ono H.: \u2018Kripke semantics, undecidability and standard completeness for Esteva and Godo\u2019s logic MTL\u2200\u2019. Studia Logica 71, 227\u2013245 (2002)","journal-title":"Studia Logica"},{"key":"9381_CR18","doi-asserted-by":"crossref","first-page":"619","DOI":"10.2977\/prims\/1195192964","volume":"8","author":"H. Ono","year":"1973","unstructured":"Ono H.: \u2018A study of intermediate predicate logics\u2019. Publications of the Research Institute for Mathematical Sciences, Kyoto University 8, 619\u2013649 (1973)","journal-title":"Publications of the Research Institute for Mathematical Sciences, Kyoto University"},{"key":"9381_CR19","doi-asserted-by":"crossref","unstructured":"Ono, H., \u2018Semantics for substructural logics\u2019, in K. Do\u0161en and P. Schroeder-Heister (eds.), Substructural Logics, Oxford Univ. Press, 1993, pp. 259\u2013291.","DOI":"10.1093\/oso\/9780198537779.003.0010"},{"key":"9381_CR20","unstructured":"Ono, H., \u2018Algebraic semantics for predicate logics and their completeness\u2019, in E. Orlowska (ed.), Logic at Work; Essays dedicated to the memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing 24), Physica-Verlag, 1999, pp. 637\u2013650."},{"key":"9381_CR21","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1023\/A:1025171301247","volume":"74","author":"H. Ono","year":"2003","unstructured":"Ono H.: \u2018Closure operators and complete embeddings of residuated lattices\u2019. Studia Logica 74, 427\u2013440 (2003)","journal-title":"Studia Logica"},{"key":"9381_CR22","unstructured":"Ono, H., \u2018Completions of algebras and completeness of modal and substructural logics\u2019, in P. Balbiani et\u00a0al. (eds.), Advances in Modal Logic 4, King\u2019s College Publications, 2003, pp. 335\u2013353."},{"key":"9381_CR23","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H. Ono","year":"1985","unstructured":"Ono H., Komori Y.: \u2018Logics without the contraction rule\u2019. Journal of Symbolic Logic 50, 169\u2013201 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"9381_CR24","doi-asserted-by":"crossref","first-page":"99","DOI":"10.4064\/fm-38-1-99-126","volume":"38","author":"H. Rasiowa","year":"1951","unstructured":"Rasiowa H.: \u2018Algebraic treatment of the functional calculi of Heyting and Lewis\u2019. Fundamenta Mathematicae 38, 99\u2013126 (1951)","journal-title":"Fundamenta Mathematicae"},{"key":"9381_CR25","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa H., Sikorski R.: The Mathematics of Metamathematics. PWN-Polish Science Publishers, Warszawa (1963)"},{"key":"9381_CR26","unstructured":"Restall, G., An Introduction to Substructural Logics, Routledge, 2000."},{"key":"9381_CR27","first-page":"8","volume":"255","author":"J. Schmidt","year":"1972","unstructured":"Schmidt J.: \u2018Universal and internal properties of some completions of k-join-semilattices and k-join-distributive partially ordered sets\u2019. Journal f\u00fcr die reine und angewandte Mathematik 255, 8\u201322 (1972)","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"9381_CR28","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF01214357","volume":"157","author":"J. Schmidt","year":"1977","unstructured":"Schmidt J., Tsinakis C.: \u2018Relative pseudo-complements, join-extensions, and meet-retractions\u2019. Mathematische Zeitschrift 157, 271\u2013284 (1977)","journal-title":"Mathematische Zeitschrift"},{"key":"9381_CR29","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1090\/S0002-9939-1972-0291035-3","volume":"34","author":"D.P. Smith","year":"1972","unstructured":"Smith D.P.: \u2018Meet-irreducible elements in implicative lattices\u2019. Proceedings of American Mathematical Society 34, 57\u201362 (1972)","journal-title":"Proceedings of American Mathematical Society"},{"key":"9381_CR30","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00012-007-2033-1","volume":"57","author":"M. Theunissen","year":"2007","unstructured":"Theunissen M., Venema Y.: \u2018MacNeille completions of lattice expansions\u2019. Algebra Universalis 57, 143\u2013193 (2007)","journal-title":"Algebra Universalis"},{"key":"9381_CR31","unstructured":"Troelstra, A. S., and D. van Dalen, Constructivism in Mathematics II, North- Holland Publ. Co., 1988."},{"key":"9381_CR32","unstructured":"Tsinakis, C., \u2018Join-completions of residuated structures\u2019, unpublished note, 2003."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9381-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9381-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9381-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,19]],"date-time":"2024-04-19T05:06:16Z","timestamp":1713503176000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9381-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,9]]},"references-count":32,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["9381"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9381-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,2,9]]}}}