{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T07:30:25Z","timestamp":1674545425053},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,5,11]],"date-time":"2012-05-11T00:00:00Z","timestamp":1336694400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1007\/s11083-012-9262-4","type":"journal-article","created":{"date-parts":[[2012,5,10]],"date-time":"2012-05-10T06:06:42Z","timestamp":1336630002000},"page":"573-583","source":"Crossref","is-referenced-by-count":1,"title":["Prelinear Algebras in Relatively Regular Quasivarieties"],"prefix":"10.1007","volume":"30","author":[{"given":"C. J.","family":"van Alten","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,5,11]]},"reference":[{"key":"9262_CR1","first-page":"41","volume":"22","author":"G Birkhoff","year":"1956","unstructured":"Birkhoff, G., Pierce, R.S.: Lattice-ordered rings. Ann. Acad. Bras. d. Cienc. 22, 41\u201369 (1956)","journal-title":"Ann. Acad. Bras. d. Cienc."},{"issue":"4","key":"9262_CR2","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K Blount","year":"2003","unstructured":"Blount, K., Tsinakis, C.: The structure of residuated lattices. Internat. J. Algebra Comput. 13(4), 437\u2013461 (2003)","journal-title":"Internat. J. Algebra Comput."},{"key":"9262_CR3","doi-asserted-by":"crossref","first-page":"257","DOI":"10.4064\/fm-64-3-257-287","volume":"64","author":"B Bosbach","year":"1968","unstructured":"Bosbach, B.: Komplement\u00e4re Halbgruppen. Axiomatic und Arithmetik. Fund. Math. 64, 257\u2013287 (1968)","journal-title":"Axiomatic und Arithmetik. Fund. Math."},{"issue":"1","key":"9262_CR4","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/0021-8693(83)90146-1","volume":"83","author":"B Bosbach","year":"1983","unstructured":"Bosbach, B.: Teilbarkeitshalbgruppen mit vollst\u00e4ndiger Erweiterung. J. Algebra 83(1), 237\u2013255 (1983)","journal-title":"J. Algebra"},{"key":"9262_CR5","first-page":"257","volume":"52","author":"B Bosbach","year":"1988","unstructured":"Bosbach, B.: Lattice ordered binary systems. Acta Sci. Math. 52, 257\u2013289 (1988)","journal-title":"Acta Sci. Math."},{"key":"9262_CR6","series-title":"Graduate Texts in Mathematics","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., Sankappanavar, H.P.: A Course in Universal Algebra. Graduate Texts in Mathematics. Springer, New York (1981)"},{"key":"9262_CR7","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with denumerable matrix. J. Symb. Log. 24, 97\u2013106 (1959)","journal-title":"J. Symb. Log."},{"key":"9262_CR8","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1007\/s00500-009-0491-4","volume":"14","author":"M El-Zekey","year":"2009","unstructured":"El-Zekey, M.: Representable good EQ-algebras. Soft Comput. 14, 1011\u20131023 (2009)","journal-title":"Soft Comput."},{"key":"9262_CR9","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/BF01194545","volume":"17","author":"T Evans","year":"1983","unstructured":"Evans, T., Hartman, P.A.: Varieties of lattice-ordered algebras. Algebra Univers. 17, 376\u2013392 (1983)","journal-title":"Algebra Univers."},{"key":"9262_CR10","first-page":"21","volume":"12","author":"K Fichtner","year":"1970","unstructured":"Fichtner, K.: Fine Bermerkung \u00fcber Mannigfaltigkeiten universeller. Algebren mit Idealen. Monatsh. d. Deutsch. Akad. d. Wiss. (Berlin) 12, 21\u201325 (1970)","journal-title":"Algebren mit Idealen. Monatsh. d. Deutsch. Akad. d. Wiss. (Berlin)"},{"key":"9262_CR11","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1016\/0021-8693(87)90224-9","volume":"111","author":"I Fleischer","year":"1987","unstructured":"Fleischer, I.: Subdirect products of totally ordered BCK\u2013algebras. J. Algebra 111, 384\u2013387 (1987)","journal-title":"J. Algebra"},{"issue":"1\u20134","key":"9262_CR12","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/BF02315983","volume":"7","author":"L Fuchs","year":"1974","unstructured":"Fuchs, L.: A remark on lattice-ordered semigroups. Semigroup Forum 7(1\u20134), 372\u2013374 (1974)","journal-title":"Semigroup Forum"},{"key":"9262_CR13","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier (2007)"},{"issue":"9","key":"9262_CR14","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1016\/j.apal.2010.01.003","volume":"161","author":"N Galatos","year":"2010","unstructured":"Galatos, N., Ono, H.: Cut elimination and strong separation for substructural logics: an algebraic approach. Ann. Pure Appl. Logic 161(9), 1097\u20131133 (2010)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9262_CR15","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01191491","volume":"19","author":"H-P Gumm","year":"1984","unstructured":"Gumm, H.-P., Ursini, A.: Ideals in universal algebras. Algebra Univers. 19, 45\u201354 (1984)","journal-title":"Algebra Univers."},{"key":"9262_CR16","doi-asserted-by":"crossref","first-page":"395","DOI":"10.2307\/2270905","volume":"34","author":"A Horn","year":"1969","unstructured":"Horn, A.: Logic with truth values in a linearly ordered Heyting algebra. J. Symb. Log. 34, 395\u2013408 (1969)","journal-title":"J. Symb. Log."},{"issue":"1","key":"9262_CR17","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1016\/j.jalgebra.2007.07.003","volume":"317","author":"J K\u00fchr","year":"2007","unstructured":"K\u00fchr, J.: Representable pseudo-BCK-algebras and integral residuated lattices. J. Algebra 317(1), 354\u2013364 (2007)","journal-title":"Algebra"},{"key":"9262_CR18","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1007\/BF02230707","volume":"52","author":"P Lorentzen","year":"1949","unstructured":"Lorentzen, P.: \u00dcber halbgeordnete Gruppen. Math. Z. 52, 483\u2013526 (1949)","journal-title":"Math. Z."},{"key":"9262_CR19","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1007\/BF02572273","volume":"2","author":"Th Merlier","year":"1971","unstructured":"Merlier, Th.: Ser les demigroupes r\u00e9ticul\u00e9s et les o-demigroupes. Semigroup Forum 2, 64\u201370 (1971)","journal-title":"Semigroup Forum"},{"key":"9262_CR20","first-page":"137","volume":"8","author":"M Pa\u0142asinski","year":"1980","unstructured":"Pa\u0142asinski, M.: Some remarks on BCK\u2013algebras. Math. Semin. Notes 8, 137\u2013144 (1980)","journal-title":"Math. Semin. Notes"},{"key":"9262_CR21","first-page":"811","volume":"32","author":"JG Raftery","year":"1987","unstructured":"Raftery, J.G.: On prime ideals and subdirect decompositions of BCK\u2013algebras. Math. Jpn. 32, 811\u2013818 (1987)","journal-title":"Math. Jpn."},{"key":"9262_CR22","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF01361218","volume":"167","author":"KLN Swamy","year":"1966","unstructured":"Swamy, K.L.N.: Dually residuated lattice ordered semigroups. III. Math. Ann. 167, 71\u201374 (1966)","journal-title":"Math. Ann."},{"key":"9262_CR23","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1006\/jabr.2001.9039","volume":"247","author":"CJ Alten van","year":"2002","unstructured":"van Alten, C.J.: Representable biresiduated lattices. J. Algebra 247, 672\u2013691 (2002)","journal-title":"J. Algebra"},{"key":"9262_CR24","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s00153-008-0088-0","volume":"47","author":"S Wang","year":"2008","unstructured":"Wang, S., Cintula, P.: Logics with disjunction and proof by cases. Arch. Math. Log. 47, 435\u2013446 (2008)","journal-title":"Arch. Math. Log."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-012-9262-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-012-9262-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-012-9262-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T13:21:27Z","timestamp":1561728087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-012-9262-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,11]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,7]]}},"alternative-id":["9262"],"URL":"https:\/\/doi.org\/10.1007\/s11083-012-9262-4","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,11]]}}}