{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:59Z","timestamp":1755220919070,"version":"3.43.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,5,1]],"date-time":"1998-05-01T00:00:00Z","timestamp":893980800000},"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":[[1998,5]]},"DOI":"10.1023\/a:1005089629837","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:31:12Z","timestamp":1040484672000},"page":"421-439","source":"Crossref","is-referenced-by-count":5,"title":["Connections Between BCK-algebras and Difference Posetse"],"prefix":"10.1007","volume":"60","author":[{"given":"Anatolij","family":"Dvure\u010denskij","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hee Sik","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"165382_CR1","doi-asserted-by":"crossref","first-page":"823","DOI":"10.2307\/1968621","volume":"37","author":"G. Birkhoff","year":"1936","unstructured":"Birkhoff, G., and J. von Neumann, 1936, \u2018The logic of quantum mechanics\u2019, Ann. Math. 37, 823\u2013834.","journal-title":"Ann. Math."},{"key":"165382_CR2","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/BF01188059","volume":"21","author":"H. W. Buff","year":"1985","unstructured":"Buff, H. W., \u2018Decidable and undecidable MV-algebras\u2019, 1985, Algebra Universalis 21, 234\u2013249.","journal-title":"Algebra Universalis"},{"key":"165382_CR3","series-title":"Lecture Notes in Physics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-13844-1","volume-title":"The Quantum Theory of Measurement","author":"P. Busch","year":"1991","unstructured":"Busch, P., P. J. Lahti and P. Mittelstaedt, 1991, The Quantum Theory of Measurement, Lecture Notes in Physics, Springer-Verlag, Berlin, Heidelberg, New York, London, Budapest."},{"key":"165382_CR4","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","volume":"88","author":"C. C. Chang","year":"1958","unstructured":"Chang, C. C., 1958, \u2018Algebraic analysis of many valued logics\u2019, Trans. Amer. Math. Soc. 88, 467\u2013490.","journal-title":"Trans. Amer. Math. Soc."},{"key":"165382_CR5","first-page":"145","volume":"44","author":"A. Dvure\u010censkij","year":"1996","unstructured":"Dvure\u010censkij, A., P. de Lucia and E. Pap, 1996, \u2018On a decomposition theorem and its applications\u2019, Math. Japonica 44, 145\u2013164.","journal-title":"Math. Japonica"},{"key":"165382_CR6","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1007\/BF00676241","volume":"34","author":"F. Chovanec","year":"1995","unstructured":"Chovanec, F., and F. K\u00d4pka, 1995, \u2018D-lattices\u2019, Inter. J. Theor. Phys. 34, 1297\u20131302.","journal-title":"Inter. J. Theor. Phys."},{"key":"165382_CR7","first-page":"5","volume":"8","author":"J. M. Font","year":"1984","unstructured":"Font, J. M., A. J. Rodr\u00cdguez and A. Torrens, 1984, \u2018Wajsberg algebras\u2019, Stochastica 8, 5\u201331.","journal-title":"Stochastica"},{"key":"165382_CR8","doi-asserted-by":"crossref","first-page":"1331","DOI":"10.1007\/BF02283036","volume":"24","author":"D. Foulis","year":"1994","unstructured":"Foulis, D., and M. K. Bennett, 1994, \u2018Effect algebras and unsharp quantum logics\u2019, Found. Phys. 24, 1331\u20131352.","journal-title":"Found. Phys."},{"key":"165382_CR9","doi-asserted-by":"crossref","first-page":"1667","DOI":"10.1063\/1.1665890","volume":"13","author":"D. J. Foulis","year":"1972","unstructured":"Foulis, D. J., and C. H. Randall, 1972, \u2018Operational statistics. I. Basic concepts\u2019, J. Math. Phys. 13, 1667\u20131675.","journal-title":"J. Math. Phys."},{"key":"165382_CR10","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1007\/BF00372773","volume":"56","author":"R. Giuntini","year":"1996","unstructured":"Giuntini, R., 1996, \u2018Quantum MV algebras\u2019, Studia Logica 56, 393\u2013417.","journal-title":"Studia Logica"},{"key":"165382_CR11","unstructured":"Giuntini, R., \u2018Unsharp orthoalgebras and quantum MV algebras\u2019, in: The Foundations of Quantum Mechanics, C. Garola, A. Rossi (eds.), Kluwer Academic Press, Dordrecht (to appear)."},{"key":"165382_CR12","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1007\/BF01889307","volume":"19","author":"R. Giuntini","year":"1989","unstructured":"Giuntini, R., and H. Greuling, 1989, \u2018Toward a formal language for unsharp properties\u2019, Found. Phys. 19, 931\u2013945.","journal-title":"Found. Phys."},{"key":"165382_CR13","first-page":"19","volume":"42","author":"Y. Imai","year":"1966","unstructured":"Imai, Y., and K. Is\u00c9ki, 1966, \u2018On axiom systems of propositional calculi\u2019, Proc. Japan Acad. 42, 19\u201322.","journal-title":"Proc. Japan Acad."},{"key":"165382_CR14","first-page":"21","volume":"44","author":"F. K\u00d4pka","year":"1994","unstructured":"K\u00d4pka, F., and F. Chovanec, 1994, \u2018D-posets\u2019, Math. Slovaca 44, 21\u201334.","journal-title":"Math. Slovaca"},{"key":"165382_CR15","volume-title":"BCK-algebras","author":"J. Meng","year":"1994","unstructured":"Meng, J., and Y. B. Jun, 1994, BCK-algebras, Kyung Moon Sa Co., Seoul."},{"key":"165382_CR16","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, \u2018Interpretation of AF C*-algebras in \u0141ukasiewicz sentential calculus\u2019, J. Funct. Anal. 65, 15\u201363.","journal-title":"J. Funct. Anal."},{"key":"165382_CR17","first-page":"889","volume":"31","author":"D. Mundici","year":"1986","unstructured":"Mundici, D., 1986, \u2018MV-algebras are categorically equivalent to bounded commutative BCK-algebras\u2019, Math. Japonica 31, 889\u2013894.","journal-title":"Math. Japonica"},{"key":"165382_CR18","volume-title":"Geometry of Quantum Theory","author":"V. S. Varadarajan","year":"1968","unstructured":"Varadarajan, V. S., 1968, Geometry of Quantum Theory, Vol. 1, van Nostrand, Princeton, New Jersey."},{"key":"165382_CR19","unstructured":"Yutani, H., 1977, \u2018The class of commutative BCK-algebras is equationally definable\u2019, Math. Seminar Notes 5, 207\u2013210."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005089629837.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005089629837\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005089629837.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:14:24Z","timestamp":1754630064000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005089629837"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,5]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,5]]}},"alternative-id":["165382"],"URL":"https:\/\/doi.org\/10.1023\/a:1005089629837","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1998,5]]}}}