scientific article; zbMATH DE number 1491031

Authors M. M. Zahedi, R. A. Borzooei, Young Bae Jun, Abbas Hasankhani

Publication date 14 August 2000

homomorphism hyper\(K\)-algebra hyper\(K\)-ideal

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35) Hypergroups (20N20)

A hyper\(K\)-algebra is a non-empty set \(H\) endowed with a hyperoperation (+): \(H\times H\to 2^H\) and a constant 0 satisfying the following conditions: 1) \((x+z)+(y+z) <x+y\), 2) \((x+y)+z= (x+z)+y\), 3) \(x<x\), 4) \(x<y,\;y<x\to x=y\), 5) \(0<x\), for all \(x,y,z\in H\), where \(x<y\) is defined by \(0\in x+y\), and for all \(A,B\subseteq H\), \(A<B\) is defined by \(a<b\) for some \(a\in A\), \(b\in B\). In this paper the notions of a bounded hyper\(K\)-algebra and of a homomorphism of such algebras are introduced and some related results are proved.

Recommendations

Cited in

(15)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4496532)