{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:11Z","timestamp":1755220931513,"version":"3.43.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"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":["Studia Logica"],"published-print":{"date-parts":[[2000,2]]},"DOI":"10.1023\/a:1005282128667","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:13:47Z","timestamp":1040487227000},"page":"21-36","source":"Crossref","is-referenced-by-count":2,"title":["On Categorical Equivalences of Commutative BCK-algebras"],"prefix":"10.1007","volume":"64","author":[{"given":"Anatolij","family":"Dvure\u010denskij","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"256188_CR1","volume-title":"Theory of Mathematical Structures","author":"J. Ad\u00c1mek","year":"1983","unstructured":"J. Ad\u00c1mek, Theory of Mathematical Structures, D. Reidel Publ. Co., Dordrecht, Boston, Lancaster, 1983."},{"key":"256188_CR2","doi-asserted-by":"publisher","first-page":"706","DOI":"10.2307\/2372361","volume":"41","author":"R. Baer","year":"1949","unstructured":"R. Baer, \u2018Free sums of groups and their generalizations. An analysis of the associative law\u2019, Amer. J. Math. 41 (1949), 706-742.","journal-title":"Amer. J. Math."},{"key":"256188_CR3","first-page":"471","volume":"4","author":"W. H. Cornish","year":"1980","unstructured":"W. H. Cornish, \u2018Lattice ordered groups and BCK-algebras\u2019, Math. Japonica 4 (1980), 471-476.","journal-title":"Math. Japonica"},{"key":"256188_CR4","first-page":"309","volume":"29","author":"W. H. Cornish","year":"1984","unstructured":"W. H. Cornish, T. Sturm, T. Traczyk, \u2018Embedding of commutative BCK-algebras into distributive lattice BCK-algebras\u2019, Math. Japonica 29 (1984), 309-320.","journal-title":"Math. Japonica"},{"key":"256188_CR5","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/BF01057937","volume":"53","author":"A. Di Nola","year":"1994","unstructured":"A. Di Nola, A. Lettieri, \u2018Perfect MV-algebras are categorical equivalent to abelian \u2113-groups\u2019, Studia Logica 53 (1994), 417-432.","journal-title":"Studia Logica"},{"key":"256188_CR6","first-page":"31","volume":"15","author":"A. Dvure\u010censkij","year":"1998","unstructured":"A. Dvure\u010censkij, M. G. Graziano, \u2018Remarks on representations of minimal clans\u2019, Tatra Mt. Math. Publications 15 (1998), 31-53","journal-title":"Tatra Mt. Math. Publications"},{"key":"256188_CR7","first-page":"159","volume":"49","author":"A. Dvure\u010censkij","year":"1999","unstructured":"A. Dvure\u010censkij, M. G. Graziano, \u2018Commutative BCK-algebras and lattice ordered groups\u2019, Math. Japonica 49 (1999), 159-174.","journal-title":"Math. Japonica"},{"key":"256188_CR8","first-page":"5","volume":"8","author":"J. M. Font","year":"1984","unstructured":"J. M. Font, A. J. Rodr\u00cdguez, A. Torrens, \u2018Wajsberg algebras\u2019, Stochastica 8 (1984), 5-31.","journal-title":"Stochastica"},{"key":"256188_CR9","doi-asserted-by":"publisher","first-page":"19","DOI":"10.3792\/pja\/1195522169","volume":"42","author":"Y. Imai","year":"1966","unstructured":"Y. Imai, K. Is\u00c9ki, \u2018On axiom systems of propositional calculi\u2019, Proc. Japan Acad. 42 (1966), 19-22.","journal-title":"Proc. Japan Acad."},{"key":"256188_CR10","first-page":"107","volume":"5","author":"K. Is\u00c9ki","year":"1979","unstructured":"K. Is\u00c9ki, \u2018A special class of BCK-algebras\u2019, Math. Seminar Notes 5 (1979), 107-119.","journal-title":"Math. Seminar Notes"},{"key":"256188_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, New York, Heidelberg, Berlin, 1971."},{"key":"256188_CR12","volume-title":"BCK-algebras","author":"J. Meng","year":"1994","unstructured":"J. Meng, Y. B. Jun, BCK-algebras, Kyung Moon Sa Co., Seoul, 1994."},{"key":"256188_CR13","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0022-1236(86)90015-7","volume":"65","author":"D. Mundici","year":"1986","unstructured":"D. Mundici, \u2018Interpretation of AF C\n                           *-algebras in \u0141ukasiewicz sentential calculus\u2019, J. Funct. Anal. 65 (1986), 15-63.","journal-title":"J. Funct. Anal."},{"key":"256188_CR14","first-page":"889","volume":"31","author":"D. Mundici","year":"1986","unstructured":"D. Mundici, \u2018MV-algebras are categorically equivalent to bounded commutative BCK-algebras\u2019, Math. Japonica 31 (1986), 889-894.","journal-title":"Math. Japonica"},{"key":"256188_CR15","first-page":"137","volume":"8","author":"M. Palasi\u0143ski","year":"1980","unstructured":"M. Palasi\u0143ski, \u2018Some remarks on BCK-algebras\u2019, Math. Seminar Notes Univ. Kobe 8 (1980), 137-144.","journal-title":"Math. Seminar Notes Univ. Kobe"},{"key":"256188_CR16","first-page":"197","volume":"27","author":"T. Sturm","year":"1982","unstructured":"T. Sturm, \u2018On commutative BCK-algebras embeddable into directed commutative BCK-algebras\u2019, Math. Japonica 27 (1982), 197-212.","journal-title":"Math. Japonica"},{"key":"256188_CR17","first-page":"207","volume":"5","author":"H. Yutani","year":"1977","unstructured":"H. Yutani, \u2018The class of commutative BCK-algebras is equationally definable\u2019, Math. Seminar Notes 5 (1977), 207-210.","journal-title":"Math. Seminar Notes"},{"key":"256188_CR18","first-page":"172","volume":"17","author":"O. Wyler","year":"1966","unstructured":"O. Wyler, \u2018Clans\u2019, Compos. Math. 17 (1966\/1967), 172-189.","journal-title":"Compos. Math."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005282128667.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005282128667\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005282128667.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:16:11Z","timestamp":1754630171000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005282128667"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,2]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,2]]}},"alternative-id":["256188"],"URL":"https:\/\/doi.org\/10.1023\/a:1005282128667","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2000,2]]}}}