Abstract
We study commutative BCK-algebras with the relative cancellation property, i.e.,if a ≤ x, y and x * a = y * a, then x = y. Such algebras generalize Booleanrings as well as Boolean D-posets (= MV-algebras). We show that any suchBCK-algebra X can be embedded into the positive cone of an Abelianlattice-ordered group. Moreover, this group can be chosen to be a universal group forX. We compare BCK-algebras with the relative cancellation property with knownquantum structures as posets with difference, D-posets, orthoalgebras, andquantum MV-algebras, and we show that in many cases we obtain MV-algebras.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
REFERENCES
M. K. Bennett and D. J. Foulis, A generalized Sasaki projection for effect algebras, Tatra Mt. Math. Publ. 15 (1998) 55-56.
G. Birkhoff and J. von Neumann, The logic of quantum mechanics, Ann. Math. 37 (1936) 823-834.
P. Busch, P. J. Lahti, and P. Mittelstaedt, The Quantum Theory of Measurement, Springer-Verlag, Berlin (1991).
C. C. Chang, Algebraic analysis of many valued logics, Trans. Am. Math. Soc. 88 (1958) 467-490
C. C. Chang, A new proof of the completeness of the ?ukasiewicz axioms, Trans. Am. Math. Soc. 93 (1959) 74-80.
F. Chovanec and F. Kôpka, Boolean D-posets, Tatra Mt. Math. Publ. 10 (1997) 183-197.
A. Dvure?enskij, On categorical equivalence of BCK-algebras, Studia Logica 64 (2000), 21-36.
A. Dvure?enskij, Commutative BCK-algebras and lattice ordered groups with universal property, Indian J. Math, submitted.
A. Dvure?enskij and M. G. Graziano, Commutative BCK-algebras and lattice ordered groups, Math. Japonica 49 (1999) 159-174.
A. Dvure?enskij and H. S. Kim, Connections between BCK-algebras and difference posets, Studia Logica 60 (1998) 421-439.
D. Foulis and M. K. Bennett, Effect algebras and unsharp quantum logics, Found. Phys. 24 (1994) 1331-1352.
D. J. Foulis and C. H. Randall, Operational statistics. I. Basic concepts, J. Math. Phys. 13 (1972) 1667-1675.
R. Giuntini and H. Greuling, Toward a formal language for unsharp properties, Found. Phys. 19 (1989) 931-945.
R. Giuntini, Quantum MV algebras, Studia Logica 56 (1996) 393-417.
R. J. Greechie and D. J. Foulis, Transition to effect algebras, Int. J. Theor. Phys. 34 (1995) 1369-1382.
Y. Imai and K. Iséki, On axiom systems of propositional calculi, Proc. Japan Acad. 42 (1966) 19-22.
F. Kôpka and F. Chovanec, D-posets, Math. Slovaca 44 (1994) 21-34.
D. Mundici, Interpretation of AF C*-algebras in ?ukasiewicz sentential calculus, J. Funct. Anal. 65 (1986) 15-63.
D. Mundici, Averaging the truth-value in ?ukasiewicz logic, Studia Logica 55 (1995) 113-127.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dvurečenskij, A. Commutative BCK-Algebras and Quantum Structures. International Journal of Theoretical Physics 39, 633–664 (2000). https://doi.org/10.1023/A:1003689821470
Issue Date:
DOI: https://doi.org/10.1023/A:1003689821470