Connections between BCK-algebras and Difference Posetse

Studia Logica

Volumn 60, Issue 3, 1998, Pages 421-439

  Dvurečenskij, Anatolij ^a   Sik Kim, H E E ^b  

^a INSTITUTE OF CHEMISTRY   (Slovakia)

^b Chungbuk National University   (South Korea)

Author keywords

BCK algebra; Commutative BCK algebra; D poset; MV algebra, quantum MV algebra; Orthoalgebra; Poset with difference

Indexed keywords

EID: 54649083191     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005089629837     Document Type: Article

References (19)

1. BIRKHOFF, G., and J. VON NEUMANN, 1936, 'The logic of quantum mechanics', Ann. Math. 37, 823-834.
2. BUFF, H. W., 'Decidable and undecidable MV-algebras', 1985, Algebra Universalis 21, 234-249.
3. 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.
4. CHANG, C. C., 1958, 'Algebraic analysis of many valued logics', Trans. Amer. Math. Suc. 88, 407-490.
5. DVUREČENSKIJ, A., P. DE LUCIA and E. PAP, 1996, 'On a decomposition theorem aud its applications', Math. Japonica 44, 145-164.
6. CHOVANEC, F., and F. KÔPKA, 1995, 'D-lattices', Inter. J. Theor. Phys. 34, 1297-1302.
7. FONT, J. M., A. J. RODRI'GUEZ and A. TORRENS, 1984, 'Wajsberg algebras', Stochastica 8, 5-31.
8. FOULIS, D., and M. K. BENNETT, 1994, 'Effect algebras and unsharp quantum logics', Found. Phys. 24, 1331-1352.
9. FOULIS, D. J., and C. H. RANDALL, 1972, 'Operational statistics. I. Basic concepts', J. Math. Phys. 13, 1667-1675.
10. GIUNTINI, R., 1996, 'Quantum MV algebras', Studia Logica 56, 393-417.
11. GIUNTINI, R., 'Unsharp orthoalgebras and quantum MV algebras', in: The Foundations of Quantum Mechanics, C. Garola, A. Rossi (eds.), Kluwer Academic Press, Dordrecht (to appear).
12. GIUNTINI, R., and H. GREULING, 1989, 'Toward a formal language for unsharp properties', Found. Phys. 19, 931-945.
13. IMAI, Y., and K. ISÉKI, 1966, 'On axiom systems of prepositional calculi', Proc. Japan Acad. 42, 19-22.
14. KÓPKA, F., and F. CHOVANEC, 1994, 'D-posets', Math. Slovaca 44, 21-34.
15. MENG, J., and Y. B. JUN, 1994, BCK-algebras, Kyung Moon Sa Co., Seoul.
16. MUNDICI, D., 1986, 'Interpretation of AF C-algebras in Lukasiewicz sentential calculus', J. Fund. Altai. 65, 15-63.
17. MUNDICI, D., 1986, 'MV-algebras are categorically equivalent to bounded commutative BCK-algebras', Math. Japonica 31, 889-894.
18. VARADARAJAN, V. S., 1968, Geometry of Qumilum Theory, Vol. 1, van Nostraml, Princeton, New Jersey.
19. YUTANI, H., 1977, 'The class of commutative BCK-algebras is equationally definable', Math. Seminar Notes 5, 207-210.