Reflection on Hyper BCC-Algebras of Haina S.

Ramilla
By: Rjyll Bacus

September 25, 2020, Haina presented her research

interest. She presented her research with credits to the author

who used the same reference of the said paper. Then he gives

some basic definition that used in her paper. The definitions

used looks like the definition used by past presenter.

In her presentation, she gave definition that recalls the

definition of the past reporter, then she gave her working

definition, An algebra (𝑋,∗,0)of type (2,0) is said to be a BCC-

algebra if it satisfies the following: for all 𝑥,𝑦,𝑧∈𝑋 (i.)

((𝑥∗𝑦)∗(𝑧∗𝑦))∗(𝑥∗𝑧)=0, ii.) 𝑥∗0=𝑥, (iii.) 𝑥∗𝑥=0, (iv.) 0∗𝑥=0, (v.)

𝑥∗𝑦=0and 𝑦∗𝑥=0 imply 𝑥=𝑦. By a hyper BCK-algebra it is meant

a nonempty set H endowed with a hyperoperation "∘" and a

constant "0" satisfying the following axioms: (HK1.)

(𝑥∘𝑧)∘(𝑦∘𝑧)≪𝑥∘𝑦, (HK2.) (𝑥∘𝑦)∘𝑧=(𝑥∘𝑧)∘𝑦, (HK3.) 𝑥∘𝐻≪{𝑥},

(HK4.) 𝑥≪𝑦 and 𝑦≪𝑥 imply 𝑥=𝑦, for all 𝑥,𝑦,𝑧∈𝐻, where 𝑥≪𝑦 is

defined by 0∈𝑥∘𝑦 and for every A,𝐵 ⊆ 𝐻, A≪𝐵is defined by for

all a∈𝐴, there exists b∈𝐵 such that a≪𝑏. In such case, "≪" is

called the hyperorder in H. Then she gave the definition of

hyper BCC-algebra algebra, it is meant a nonempty set 𝐻

endowed with a hyperoperation “∘” and a constant 0 satisfying

the following axioms: (HC1) (𝑥∘𝑧)∘(𝑦∘𝑧)≪𝑥∘𝑦, (HC2) 0∘𝑥={0},

(HC3) 𝑥∘0={𝑥}, (HC4) 𝑥≪𝑦and 𝑦≪𝑥imply 𝑥=𝑦, for all 𝑥,𝑦,𝑧∈𝐻,

where 𝑥≪𝑦is defined by 0∈𝑥∘𝑦and for every 𝐴,𝐵⊆𝐻, 𝐴≪𝐵is

defined by for all 𝑎∈𝐴, there exists 𝑏∈𝐵such that 𝑎≪𝑏. In such

case, “≪” is called the hyperorder in 𝐻. She gave example,

proposition and theorem. Any hyper BCK-algebra is a hyper

BCC-algebra. Hyper BCC-algebra 𝐻is called a proper hyper BCC-

algebra if 𝐻is not a hyper BCK-algebra. Let 𝐻 be a hyper BCC-

algebra. Then for all 𝑥,,𝑧∈𝐻 and 𝐴⊆𝐻 the following statements

holds: (i.) 0∘0={0}, (ii.)0≪𝑥, (iii.)𝑥≪𝑥, (iv.)𝑥∘𝑦≪{𝑥}, (v.)𝐴∘0=𝐴,

(vi.)0∘𝐴={0} (vii.) 𝑥∘𝑦={0}implies 𝑥∘𝑧≪𝑦∘𝑧.

Haina seemed to be nervous while presenting her paper

because if there is a question she seemed not answer directly.

Luckily sir was ready to help her understand her paper. She did

what she can presenting..