Abstract
In this note we first define the notions of (weak, strong) implicative hyper K-algebras. Then we show by examples that these notions are different. After that we state and prove some theorems which determine the relationship between these notions and (weak) hyper K-ideals. Also we obtain some relations between these notions and (weak) implicative hyper K-ideals. Finally, we study the implicative hyper K-algebras of order 3, in particular we obtain a relationship between the positive implicative hyper K-algebras and (weak, strong) implicative hyper K-algebras under a simple condition.
Similar content being viewed by others
References
A. Borumand Saeid, R. A. Borzooei and M. M. Zahedi: (Weak) implicative hyper K-ideals. Bull. Korean Math. Soc. 40 (2003), 123–137.
R. A. Borzooei, P. Corsini and M. M. Zahedi: Some kinds of positive implicative hyper K-ideals. Journal of Discrete Mathematical Sciences and Cryptography 6 (2003), 97–108.
R. A. Borzooei, A. Hasankhani, M. M. Zahedi and Y. B. Jun: On hyper K-algebras. Math. Japon. 52 (2000), 113–121.
R. A. Borzooei and M. M. Zahedi: Positive implicative hyper K-ideals. Scientiae Mathematicae Japonicae 53 (2001), 525–533.
Y. Imai and K. Iseki: On axiom systems of propositional calculi. XIV Proc. Japan Academy 42 (1966), 19–22.
Y. B. Jun, M. M. Zahedi, X. L. Xin and R. A. Borzooei: On hyper BCK-algebras. Ital. J. Pure Appl. Math. (2000), 127–136.
F. Marty: Sur une generalization de la notion de groups. 8th Congress Math. Scandinaves, Stockholm. 1934, pp. 45–49.
J. Meng and Y. B. Jun: BCK-Algebras. Kyung Moonsa, Seoul, 1994.
D. Mundici: MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math. Japon. 31 (1986), 889–894.
M. M. Zahedi, R. A. Borzooei and H. Rezaei: Some classification of hyper K-algebras of order 3. Scientiae Mathematicae Japonicae 53 (2001), 133–142.
M. M. Zahedi, R. A. Borzooei, Y. B. Jun and A. Hasankhani: Some results on hyper K-algebra. Scientiae Mathematicae 3 (2000), 53–59.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Zahedi, M.M., Saeid, A.B. & Borzooei, R.A. Implicative hyper K-algebras. Czech Math J 55, 439–453 (2005). https://doi.org/10.1007/s10587-005-0034-9
Received:
Issue Date:
DOI: https://doi.org/10.1007/s10587-005-0034-9