{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T09:10:01Z","timestamp":1751879401552,"version":"3.41.0"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"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":["Order"],"published-print":{"date-parts":[[2000,3]]},"DOI":"10.1023\/a:1006409215452","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T02:03:28Z","timestamp":1040522608000},"page":"23-41","source":"Crossref","is-referenced-by-count":2,"title":["Dedekind Complete Commutative BCK-algebras"],"prefix":"10.1007","volume":"17","author":[{"given":"Anatolij","family":"Dvure\u010denskij","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Gabriella","family":"Graziano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"267519_CR1","doi-asserted-by":"crossref","first-page":"706","DOI":"10.2307\/2372361","volume":"41","author":"R. Baer","year":"1949","unstructured":"Baer, R. (1949) Free sums of groups and their generalizations. An analysis of the associative law, Amer. J. Math.\n41, 706-742.","journal-title":"Amer. J. Math."},{"key":"267519_CR2","unstructured":"Birkhoff, G. (1967) Lattice Theory, Amer. Math. Soc. Coll. Publ. 25, Providence, RI."},{"key":"267519_CR3","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00370678","volume":"50","author":"R. Cignoli","year":"1991","unstructured":"Cignoli, R. (1991) Complete and atomic algebras of the infinite valued \u0141ukasiewicz logic, Studia Logica\n50, 375-384.","journal-title":"Studia Logica"},{"key":"267519_CR4","first-page":"309","volume":"29","author":"W. H. Cornish","year":"1984","unstructured":"Cornish, W. H., Sturm, T. and Traczyk, T. (1984) Embedding of commutative BCK-algebras into distributive lattice BCK-algebras, Math. Japonica\n29, 309-320.","journal-title":"Math. Japonica"},{"key":"267519_CR5","first-page":"267","volume":"47","author":"A. Dvure\u010denskij","year":"1998","unstructured":"Dvure\u010denskij, A. (1998) Measures and states on BCK-algebras, Atti Sem. Mat. Fis. Univ. Modena\n47, 267-284.","journal-title":"Atti Sem. Mat. Fis. Univ. Modena"},{"key":"267519_CR6","unstructured":"Dvure\u010denskij, A., Commutative BCK-algebras and lattice ordered groups with universal property, Indian J. Math., to appear."},{"key":"267519_CR7","first-page":"31","volume":"15","author":"A. Dvure\u010denskij","year":"1998","unstructured":"Dvure\u010denskij, A. and Graziano, M. G. (1998) Remarks on representations of minimal clans, Tatra Mt. Math. Publ.\n15, 31-53.","journal-title":"Tatra Mt. Math. Publ."},{"key":"267519_CR8","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1515\/dema-1999-0202","volume":"32","author":"A. Dvure\u010denskij","year":"1999","unstructured":"Dvure\u010denskij, A. and Graziano, M. G. (1999) On representations of commutative BCK-algebras, Demonstratio Math.\n32, 227-246.","journal-title":"Demonstratio Math."},{"key":"267519_CR9","first-page":"159","volume":"49","author":"A. Dvure\u010denskij","year":"1999","unstructured":"Dvure\u010denskij, A. and Graziano, M. G. (1999) Commutative BCK-algebras and lattice ordered groups, Math. Japonica\n49, 159-174.","journal-title":"Math. Japonica"},{"key":"267519_CR10","series-title":"Math. Surveys Monographs","volume-title":"Partially Ordered Abelian Groups with Interpolation","author":"K. R. Goodearl","year":"1986","unstructured":"Goodearl, K. R. (1986) Partially Ordered Abelian Groups with Interpolation, Math. Surveys Monographs 20, Amer. Math. Soc., Providence, RI."},{"key":"267519_CR11","first-page":"19","volume":"42","author":"Y. Imai","year":"1966","unstructured":"Imai, Y. and Is\u00e9ki, K. (1966) On axiom systems of propositional calculi, Proc. Japan Acad.\n42, 19-22.","journal-title":"Proc. Japan Acad."},{"key":"267519_CR12","first-page":"107","volume":"5","author":"K. Is\u00e9ki","year":"1979","unstructured":"Is\u00e9ki, K. (1979) A special class of BCK-algebras, Math. Seminar Notes\n5, 107-119.","journal-title":"Math. Seminar Notes"},{"key":"267519_CR13","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1002\/mana.19750650113","volume":"65","author":"J. Jakub\u00edk","year":"1975","unstructured":"Jakub\u00edk, J. (1975) Conditionally orthogonally complete \u2113-groups, Math. Nachr.\n65, 153-162.","journal-title":"Math. Nachr."},{"issue":"120","key":"267519_CR14","doi-asserted-by":"crossref","first-page":"473","DOI":"10.21136\/CMJ.1995.128535","volume":"45","author":"J. Jakub\u00edk","year":"1995","unstructured":"Jakub\u00edk, J. (1995) On complete MV-algebras, Czechoslovak Math. J.\n45(120), 473-480.","journal-title":"Czechoslovak Math. J."},{"key":"267519_CR15","first-page":"75","volume":"48","author":"J. Jakub\u00edk","year":"1998","unstructured":"Jakub\u00edk, J. (1998) On archimedean MV-algebras, Czechoslovak Math. J.\n48, 75-582.","journal-title":"Czechoslovak Math. J."},{"key":"267519_CR16","unstructured":"Jakub\u00edk, J., Completeness properties for MV-algebras (to appear)."},{"key":"267519_CR17","volume-title":"BCK-algebras","author":"J. Meng","year":"1994","unstructured":"Meng, J. and Jun, Y. B. (1994) BCK-algebras, Kyung Moon Sa Co., Seoul."},{"key":"267519_CR18","first-page":"889","volume":"31","author":"D. Mundici","year":"1986","unstructured":"Mundici, D. (1986) MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Math. Japonica\n31, 889-894.","journal-title":"Math. Japonica"},{"key":"267519_CR19","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0022-1236(86)90015-7","volume":"65","author":"D. Mundici","year":"1986","unstructured":"Mundici, D. (1986) Interpretation of AF C*-algebras in \u0141ukasiewicz sentential calculus, J. Funct. Anal.\n65, 15-63.","journal-title":"J. Funct. Anal."},{"key":"267519_CR20","first-page":"137","volume":"8","author":"M. Palasi\u0144ski","year":"1980","unstructured":"Palasi\u0144ski, M. (1980) Some remarks on BCK-algebras, Math. Seminar Notes Univ. Kobe\n8, 137-144.","journal-title":"Math. Seminar Notes Univ. Kobe"}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006409215452.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1006409215452\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1006409215452.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T08:55:46Z","timestamp":1751878546000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1006409215452"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["267519"],"URL":"https:\/\/doi.org\/10.1023\/a:1006409215452","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"type":"print","value":"0167-8094"},{"type":"electronic","value":"1572-9273"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}