{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T01:10:30Z","timestamp":1733015430254,"version":"3.30.0"},"reference-count":55,"publisher":"Elsevier BV","issue":"10","license":[{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,12,1]],"date-time":"2020-12-01T00:00:00Z","timestamp":1606780800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Swiss National Science Foundation","doi-asserted-by":"publisher","award":["200021_165850"],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020","doi-asserted-by":"publisher","award":["689176"],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61473336"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2020,12]]},"DOI":"10.1016\/j.apal.2020.102842","type":"journal-article","created":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T01:39:57Z","timestamp":1590197997000},"page":"102842","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":5,"title":["Join-completions of partially ordered algebras"],"prefix":"10.1016","volume":"171","author":[{"given":"Jos\u00e9","family":"Gil-F\u00e9rez","sequence":"first","affiliation":[]},{"given":"Luca","family":"Spada","sequence":"additional","affiliation":[]},{"given":"Constantine","family":"Tsinakis","sequence":"additional","affiliation":[]},{"given":"Hongjun","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.apal.2020.102842_br0010","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1002\/malq.19560020803","article-title":"H\u00fcllensysteme und Erweiterung von Quasi-Ordnungen","volume":"2","author":"Banaschewski","year":"1956","journal-title":"Z. Math. Log. Grundl. Math."},{"key":"10.1016\/j.apal.2020.102842_br0020","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF02945047","article-title":"On residual finiteness and finite embeddability","volume":"2","author":"Banaschewski","year":"1972","journal-title":"Algebra Univers."},{"issue":"396","key":"10.1016\/j.apal.2020.102842_br0030","article-title":"Algebraizable logics","volume":"77","author":"Blok","year":"1989","journal-title":"Mem. Am. Math. Soc."},{"issue":"3","key":"10.1016\/j.apal.2020.102842_br0040","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s000120200000","article-title":"The finite embeddability property for residuated lattices, pocrims and BCK-algebras","volume":"48","author":"Blok","year":"2002","journal-title":"Algebra Univers."},{"issue":"10","key":"10.1016\/j.apal.2020.102842_br0050","doi-asserted-by":"crossref","first-page":"4141","DOI":"10.1090\/S0002-9947-04-03654-2","article-title":"On the finite embeddability property for residuated ordered groupoids","volume":"357","author":"Blok","year":"2005","journal-title":"Trans. Am. Math. Soc."},{"issue":"2","key":"10.1016\/j.apal.2020.102842_br0060","doi-asserted-by":"crossref","first-page":"207","DOI":"10.2307\/1970103","article-title":"The word problem","volume":"70","author":"Boone","year":"1959","journal-title":"Ann. Math."},{"key":"10.1016\/j.apal.2020.102842_br0070","first-page":"151","article-title":"Representation of complete lattices by sets","volume":"11","author":"B\u00fcchi","year":"1952","journal-title":"Port. Math."},{"key":"10.1016\/j.apal.2020.102842_br0080","series-title":"Introduction to Theory and Application of Partial Algebras. Part i","article-title":"A model theoretic oriented approach to partial algebras","volume":"vol. 32","author":"Burmeister","year":"1986"},{"key":"10.1016\/j.apal.2020.102842_br0090","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8130-3","article-title":"A Course in Universal Algebra","author":"Burris","year":"1981"},{"issue":"3","key":"10.1016\/j.apal.2020.102842_br0100","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1093\/jigpal\/jzp094","article-title":"Interpolation and FEP for logics of residuated algebras","volume":"19","author":"Buszkowski","year":"2011","journal-title":"Log. J. IGPL"},{"issue":"3","key":"10.1016\/j.apal.2020.102842_br0110","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1007\/s00012-017-0466-8","article-title":"The FEP for some varieties of fully distributive knotted residuated lattices","volume":"78","author":"Cardona","year":"2017","journal-title":"Algebra Univers."},{"issue":"3","key":"10.1016\/j.apal.2020.102842_br0120","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/j.apal.2011.09.003","article-title":"Algebraic proof theory for substructural logics: cut-elimination and completions.","volume":"163","author":"Ciabattoni","year":"2012","journal-title":"Ann. Pure Appl. Logic"},{"issue":"3","key":"10.1016\/j.apal.2020.102842_br0130","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1016\/j.apal.2016.10.012","article-title":"Algebraic proof theory: hypersequents and hypercompletions.","volume":"168","author":"Ciabattoni","year":"2017","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/j.apal.2020.102842_br0140","article-title":"Universal Algebra","volume":"vol. 6","author":"Cohn","year":"1981"},{"key":"10.1016\/j.apal.2020.102842_br0150","article-title":"Protoalgebraic Logics","volume":"vol. 10","author":"Czelakowski","year":"2001"},{"issue":"4","key":"10.1016\/j.apal.2020.102842_br0160","doi-asserted-by":"crossref","first-page":"1194","DOI":"10.2307\/2275882","article-title":"Embeddability and the word problem","volume":"60","author":"Dekov","year":"1995","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2020.102842_br0170","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1112\/jlms\/s1-26.1.64","article-title":"The word problem for abstract algebras","volume":"26","author":"Evans","year":"1951","journal-title":"J. Lond. Math. Soc."},{"key":"10.1016\/j.apal.2020.102842_br0180","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1112\/jlms\/s1-28.1.76","article-title":"Embeddability and the word problem","volume":"28","author":"Evans","year":"1953","journal-title":"J. Lond. Math. Soc."},{"key":"10.1016\/j.apal.2020.102842_br0190","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1112\/jlms\/s2-1.1.399","article-title":"Some connections between residual finiteness, finite embeddability and the word problem","volume":"1","author":"Evans","year":"1969","journal-title":"J. Lond. Math. Soc."},{"key":"10.1016\/j.apal.2020.102842_br0200","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/BF02945055","article-title":"Residual finiteness and finite embeddability. A remark on a paper by Banaschewski and Nelson","volume":"2","author":"Evans","year":"1972","journal-title":"Algebra Univers."},{"issue":"43","key":"10.1016\/j.apal.2020.102842_br0210","first-page":"25","article-title":"Finite embeddability property for residuated groupoids","author":"Farulewski","year":"2008","journal-title":"Rep. Math. Log."},{"year":"1992","series-title":"On varieties and quasivarieties of hoops and their reducts","author":"Ferreirim","key":"10.1016\/j.apal.2020.102842_br0220"},{"key":"10.1016\/j.apal.2020.102842_br0230","series-title":"An Introductory Textbook; Mathematical Logic and Foundations","article-title":"Abstract algebraic logic","volume":"vol. 60","author":"Font","year":"2016"},{"key":"10.1016\/j.apal.2020.102842_br0240","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1215\/S0012-7094-62-02951-4","article-title":"Pseudo-complements in semi-lattices","volume":"29","author":"Frink","year":"1962","journal-title":"Duke Math. J."},{"year":"1963","series-title":"Partially Ordered Algebraic Systems","author":"Fuchs","key":"10.1016\/j.apal.2020.102842_br0250"},{"issue":"3","key":"10.1016\/j.apal.2020.102842_br0260","doi-asserted-by":"crossref","first-page":"1219","DOI":"10.1090\/S0002-9947-2012-05573-5","article-title":"Residuated frames with applications to decidability","volume":"365","author":"Galatos","year":"2013","journal-title":"Trans. Am. Math. Soc."},{"issue":"3","key":"10.1016\/j.apal.2020.102842_br0270","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/s00012-017-0456-x","article-title":"Distributive residuated frames and generalized bunched implications algebras","volume":"78","author":"Galatos","year":"2017","journal-title":"Algebra Univers."},{"article-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","year":"2007","author":"Galatos","key":"10.1016\/j.apal.2020.102842_br0280"},{"key":"10.1016\/j.apal.2020.102842_br0290","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1016\/j.jalgebra.2004.07.002","article-title":"Generalized MV-algebras","volume":"283","author":"Galatos","year":"2005","journal-title":"J. Algebra"},{"key":"10.1016\/j.apal.2020.102842_br0300","article-title":"Partially Ordered Groups","volume":"vol. 7","author":"Glass","year":"1999"},{"key":"10.1016\/j.apal.2020.102842_br0310","first-page":"183","article-title":"Sur quelques points de la logique de M. Brouwer","volume":"15","author":"Glivenko","year":"1929","journal-title":"Bull. Acad. Sci., Belg."},{"key":"10.1016\/j.apal.2020.102842_br0320","unstructured":"J. Jez\u0306ek, Universal algebra, available online, 2008."},{"key":"10.1016\/j.apal.2020.102842_br0330","first-page":"47","article-title":"Axiomatische Begr\u00fcndung der allgemeinen Idealtheorie","volume":"56","author":"Krull","year":"1924","journal-title":"Sitzungsber. Phys. Soc. Erl."},{"issue":"2","key":"10.1016\/j.apal.2020.102842_br0340","doi-asserted-by":"crossref","first-page":"122","DOI":"10.2307\/1969038","article-title":"On closed elements in closure algebras","volume":"47","author":"McKinsey","year":"1946","journal-title":"Ann. Math."},{"key":"10.1016\/j.apal.2020.102842_br0350","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1112\/plms\/s3-66.2.225","article-title":"A variety with solvable, but not uniformly solvable, word problem","volume":"66","author":"Mekler","year":"1993","journal-title":"Proc. Lond. Math. Soc."},{"key":"10.1016\/j.apal.2020.102842_br0360","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.jalgebra.2013.11.019","article-title":"Amalgamation and interpolation in ordered algebras","volume":"402","author":"Metcalfe","year":"2014","journal-title":"J. Algebra"},{"key":"10.1016\/j.apal.2020.102842_br0370","article-title":"Substructural Logics: A Primer","volume":"vol. 13","author":"Paoli","year":"2002"},{"key":"10.1016\/j.apal.2020.102842_br0380","article-title":"The Semantics and Proof Theory of the Logic of Bunched Implications","volume":"vol. 26","author":"Pym","year":"2002"},{"issue":"2","key":"10.1016\/j.apal.2020.102842_br0390","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/421090","article-title":"The logic of bunched implications","volume":"5","author":"O'Hearn","year":"1999","journal-title":"Bull. Symb. Log."},{"key":"10.1016\/j.apal.2020.102842_br0400","doi-asserted-by":"crossref","first-page":"790","DOI":"10.2307\/2586501","article-title":"The finite model property for various fragments of intuitionistic linear logic","volume":"64","author":"Okada","year":"1999","journal-title":"J. Symb. Log."},{"year":"2000","series-title":"An Introduction to Substructural Logics","author":"Restall","key":"10.1016\/j.apal.2020.102842_br0410"},{"issue":"1","key":"10.1016\/j.apal.2020.102842_br0420","first-page":"3","article-title":"A note on Girard quantales","volume":"31","author":"Rosenthal","year":"1990","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r. Cat\u00e9g."},{"key":"10.1016\/j.apal.2020.102842_br0430","article-title":"Quantales and Their Applications","volume":"vol. 234","author":"Rosenthal","year":"1990"},{"key":"10.1016\/j.apal.2020.102842_br0440","first-page":"28","article-title":"Universal and internal properties of some extensions of partially ordered sets","volume":"253","author":"Schmidt","year":"1972","journal-title":"J. Reine Angew. Math."},{"key":"10.1016\/j.apal.2020.102842_br0450","first-page":"8","article-title":"Universal and internal properties of some completions of k-join-semilattices and k-join-distributive partially ordered sets","volume":"255","author":"Schmidt","year":"1972","journal-title":"J. Reine Angew. Math."},{"key":"10.1016\/j.apal.2020.102842_br0460","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1017\/S1446788700018048","article-title":"Each join-completion of a partially ordered set is the solution of a universal problem","volume":"17","author":"Schmidt","year":"1974","journal-title":"J. Aust. Math. Soc."},{"issue":"3","key":"10.1016\/j.apal.2020.102842_br0470","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/BF01214357","article-title":"Relative pseudo-complements, join-extensions, and meet-retractions","volume":"157","author":"Schmidt","year":"1977","journal-title":"Math. Z."},{"issue":"1","key":"10.1016\/j.apal.2020.102842_br0480","first-page":"37","article-title":"The theory of representations for Boolean algebras","volume":"40","author":"Stone","year":"1936","journal-title":"Trans. Am. Math. Soc."},{"issue":"1","key":"10.1016\/j.apal.2020.102842_br0490","doi-asserted-by":"crossref","first-page":"84","DOI":"10.2178\/jsl\/1107298511","article-title":"The finite model property for knotted extensions of propositional linear logic","volume":"70","author":"van Alten","year":"2005","journal-title":"J. Symb. Log."},{"issue":"4","key":"10.1016\/j.apal.2020.102842_br0500","doi-asserted-by":"crossref","first-page":"419","DOI":"10.1007\/s00012-010-0060-9","article-title":"Completion and finite embeddability property for residuated ordered algebras","volume":"62","author":"van Alten","year":"2009","journal-title":"Algebra Univers."},{"issue":"3","key":"10.1016\/j.apal.2020.102842_br0510","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1093\/jigpal\/jzp088","article-title":"Preservation theorem for MTL-chains","volume":"19","author":"van Alten","year":"2011","journal-title":"Log. J. IGPL"},{"key":"10.1016\/j.apal.2020.102842_br0520","doi-asserted-by":"crossref","first-page":"558","DOI":"10.2307\/1968634","article-title":"Structure residuation","volume":"39","author":"Ward","year":"1938","journal-title":"Ann. Math."},{"key":"10.1016\/j.apal.2020.102842_br0530","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1073\/pnas.24.3.162","article-title":"Residuated lattices","volume":"24","author":"Ward","year":"1938","journal-title":"Proc. Natl. Acad. Sci."},{"key":"10.1016\/j.apal.2020.102842_br0540","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","article-title":"Residuated lattices","volume":"45","author":"Ward","year":"1939","journal-title":"Trans. Am. Math. Soc."},{"year":"2006","series-title":"Residuated Structures with Involution","author":"Wille","key":"10.1016\/j.apal.2020.102842_br0550"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016800722030066X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016800722030066X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:31:08Z","timestamp":1733013068000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016800722030066X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12]]},"references-count":55,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2020,12]]}},"alternative-id":["S016800722030066X"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2020.102842","relation":{},"ISSN":["0168-0072"],"issn-type":[{"type":"print","value":"0168-0072"}],"subject":[],"published":{"date-parts":[[2020,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Join-completions of partially ordered algebras","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.apal.2020.102842","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2020 Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"102842"}}