Imai and Is´eki [11] defined a class

Imai and Is´eki [11] defined a class of algebras of type (2,0) called BCK-algebras
which generalizes on one hand the notion of algebra of sets with the set sub-
traction as the only fundamental non-nullary operation, on the other hand
the notion of implication algebra. The class of all BCK-algebras is a quasivariety.
Is´eki posed an interesting problem (solved by Wro´nski [16]) whether
the class of BCK-algebras is a variety. In connection with this problem, Komori
[10] introduced a notion of BCC-algebras, and Dudek [4] redefined the
notion of BCC-algebras by using a dual form of the ordinary definition in
the sense of Komori. Dudek and Zhang [6] introduced a new notion of ideals
in BCC-algebras and described connections between such ideals and congruences.
On the other hand, Jun and Xin [9] applied the notion of derivations
in ring and near-ring theory to BCI-algebras, and they also introduced a new
concept called a regular derivation in BCI -algebras. They investigated some

ผลลัพธ์ (ไทย) 2:

Imai และ Is'eki [11] นิยามระดับของ algebras ชนิด (2,0) ที่เรียกว่าจีบ
BCK-ซึ่งgeneralizes
บนมือข้างหนึ่งความคิดของพีชคณิตชุดกับชุดย่อยที่ลากเป็นเพียงการดำเนินการไม่nullary พื้นฐาน
ในทางกลับกันความคิดของพีชคณิตหมาย ระดับของทุก BCK-จีบเป็น quasivariety ได้.
Is'eki เกิดปัญหาที่น่าสนใจ (แก้ไขโดย Wro'nski [16])
ไม่ว่าจะเป็นชั้นเรียนของBCK-จีบเป็นความหลากหลาย ในการเชื่อมต่อกับปัญหานี้โคโมริ
[10] นำความคิดของ BCC-จีบและ Dudek [4] ไฟ rede ned
ความคิดของ BCC-จีบราโดยใช้รูปแบบคู่ของสายสามัญเด nition
ในความรู้สึกของโคโมริ Dudek และวอชิงตันโพสต์ [6]
แนะนำความคิดใหม่ของอุดมการณ์ในBCC-จีบราส์และการเชื่อมต่อที่อธิบายไว้ระหว่างอุดมคติดังกล่าวและ congruences.
บนมืออื่น ๆ , มิถุนายนและซิน [9] ใช้ความคิดของ derivations
ในแหวนและทฤษฎีที่อยู่ใกล้แหวน BCI -algebras
และพวกเขายังแนะนำใหม่แนวคิดที่เรียกว่ามาประจำใน-algebras BCI พวกเขาตรวจสอบบางส่วน

ผลลัพธ์ (ไทย) 3:

อิมาอิ และใหม่ eki [ 11 ] เดอจึงเน็ดชั้นเรียนพีชคณิตประเภทที่เรียกว่า bck พีชคณิต
0 l ) ซึ่งหนึ่งในมือเช่นนี้ได้ขยายแนวคิดของชุดของพีชคณิตกับชุดย่อย -
traction พื้นฐานเท่านั้น ไม่ nullary การดําเนินการ ในอื่น ๆมือ
ความคิดของพีชคณิตโดยปริยาย ชั้นเรียนของพีชคณิต bck ทั้งหมดเป็น quasivariety .
เป็นใหม่ eki posed ปัญหาที่น่าสนใจ ( แก้ไขโดยผิด nski ใหม่ [ 16 ]
) ว่าชั้นเรียนของ bck พีชคณิตคือความหลากหลาย ในการเชื่อมต่อกับปัญหานี้ โคโมริ
[ 10 ] แนะนำความคิดของ BCC พีชคณิต และดูเด็ค [ 4 ] แนะนำจึงเน็ด
ความคิดของ BCC พีชคณิตโดยใช้แบบฟอร์มที่สองของสามัญ เดอ จึง nition ใน
ความรู้สึกของ โคโมริ ดูเด็ค และจาง [ 6 ] แนะนำแนวคิดใหม่ของอุดมคติ
ใน BCC พีชคณิตและอธิบายการเชื่อมต่อระหว่างอุดมการณ์ดังกล่าว และ congruences .
บนมืออื่น ๆจุนและซิน [ 9 ] ใช้ความคิดในการหาแหวนทฤษฎี
และใกล้วงแหวนพีชคณิต BCI , และพวกเขายังแนะนำแนวคิดใหม่
เรียกว่ารากศัพท์ปกติในพีชคณิต BCI - . พวกเขาตรวจสอบบาง