{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T19:59:41Z","timestamp":1712606381953},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,1,20]],"date-time":"2021-01-20T00:00:00Z","timestamp":1611100800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,20]],"date-time":"2021-01-20T00:00:00Z","timestamp":1611100800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Algebra Univers."],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1007\/s00012-020-00703-4","type":"journal-article","created":{"date-parts":[[2021,1,20]],"date-time":"2021-01-20T22:02:35Z","timestamp":1611180155000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Lattice-ordered pregroups are semi-distributive"],"prefix":"10.1007","volume":"82","author":[{"given":"Nick","family":"Galatos","sequence":"first","affiliation":[]},{"given":"Peter","family":"Jipsen","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Kinyon","sequence":"additional","affiliation":[]},{"given":"Adam","family":"P\u0159enosil","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,1,20]]},"reference":[{"key":"703_CR1","doi-asserted-by":"crossref","unstructured":"Buszkowski, W.: Lambek grammars based on pregroups. In: P.\u00a0de\u00a0Groote, G.\u00a0Morrill, C.\u00a0Retor\u00e9 (eds.) Logical aspects of computational linguistics, LACL 2001, Lecture Notes in Computer Science, vol. 2099, pp. 95\u2013109. Springer (2001)","DOI":"10.1007\/3-540-48199-0_6"},{"key":"703_CR2","doi-asserted-by":"crossref","unstructured":"Buszkowski, W.: Pregroups: models and grammars. In: H.C.M. de\u00a0Swart (ed.) Relational Methods in Computer Science, RelMiCS 2001, Lecture Notes in Computer Science, vol. 2561, pp. 35\u201349. Springer (2002)","DOI":"10.1007\/3-540-36280-0_3"},{"issue":"2\u20133","key":"703_CR3","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s11225-007-9083-4","volume":"87","author":"W Buszkowski","year":"2007","unstructured":"Buszkowski, W.: Type logic and pregroups. Stud. Logic. 87(2\u20133), 145\u2013169 (2007)","journal-title":"Stud. Logic."},{"key":"703_CR4","doi-asserted-by":"crossref","unstructured":"Freese, R., Nation, J.: A simple semidistributive lattice Int. J. Algebra Comput. https:\/\/doi.org\/10.1142\/S0218196721500119","DOI":"10.1142\/S0218196721500119"},{"issue":"1\u20132","key":"703_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s00012-012-0199-7","volume":"68","author":"N Galatos","year":"2012","unstructured":"Galatos, N., Jipsen, P.: Periodic lattice-ordered pregroups are distributive. Algebra Univ. 68(1\u20132), 145\u2013150 (2012)","journal-title":"Algebra Univ."},{"key":"703_CR6","volume-title":"Residuated lattices: an algebraic glimpse and substructural logics, Studies in Logic and the Foundations of Mathematics","author":"N Galatos","year":"2007","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: an algebraic glimpse and substructural logics, Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, New York (2007)"},{"issue":"1","key":"703_CR7","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/j.jalgebra.2004.07.002","volume":"283","author":"N Galatos","year":"2005","unstructured":"Galatos, N., Tsinakis, C.: Generalized MV-algebras. J. Algebra 283(1), 254\u2013291 (2005)","journal-title":"J. Algebra"},{"key":"703_CR8","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1007\/BF01181877","volume":"34","author":"J Lambek","year":"1995","unstructured":"Lambek, J.: Some lattice models of bilinear logic. Algebra Univ. 34, 541\u2013550 (1995)","journal-title":"Algebra Univ."},{"key":"703_CR9","doi-asserted-by":"crossref","unstructured":"Lambek, J.: Type grammar revisited. In: A.\u00a0Lecomte, F.\u00a0Lamarche, G.\u00a0Perrier (eds.) Logical aspects of computational linguistics, Lecture Notes in Computer Science, vol. 1582, pp. 1\u201327. Springer (1999)","DOI":"10.1007\/3-540-48975-4_1"},{"key":"703_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1011444711686","volume":"4","author":"J Lambek","year":"2001","unstructured":"Lambek, J.: Type grammars as pregroups. Grammars 4, 21\u201339 (2001)","journal-title":"Grammars"}],"container-title":["Algebra universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00012-020-00703-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00012-020-00703-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00012-020-00703-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,19]],"date-time":"2021-02-19T08:02:31Z","timestamp":1613721751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00012-020-00703-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,20]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["703"],"URL":"https:\/\/doi.org\/10.1007\/s00012-020-00703-4","relation":{},"ISSN":["0002-5240","1420-8911"],"issn-type":[{"value":"0002-5240","type":"print"},{"value":"1420-8911","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,1,20]]},"assertion":[{"value":"3 January 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 November 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 January 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"16"}}