论文信息 - Implicative hyper K-algebras

Implicative hyper K-algebras

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.

[1] F. Marty. Sur une generalization de la notion de groupe , 1934 .

[2] K. Iseki,et al. ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI XIV , 1966 .

[3] R. Borzooei,et al. Some kinds of positive implicative hyper K-ideals , 2003 .

[4] Rajab Ali Borzooei,et al. (WEAK) IMPLICATIVE HYPER K-IDEALS , 2003 .

[5] Mohammad Mehdi Zahedi,et al. ON HYPERK-ALGEBRAS , 2000 .

[6] Mohammad Mehdi Zahedi,et al. POSITIVE IMPLICATIVE HYPERK-IDEALS , 2001 .

[7] M. M. Zahedi. Some results on hyper K-algebra , 2000 .

[8] D. Mundici. MV-algebras are categorically equivalent to bounded commutative BCK-algebras , 1986 .

[9] SOME CLASSIFICATIONS OF HYPERK-ALGEBRAS OF ORDER 3 , 2001 .