BCK-algebras have several connectio

BCK-algebras have several connections with other areas of
investigation, such as: lattice ordered groups, MV -algebras, Wajsberg alge-
bras, and implicative commutative semigroups. J. M. Font et al.([2]) have
discussed Wajsberg algebras which are term-equivalent to MV -algebras. D.
Mundici([12]) proved MV -algebras are categorically equivalent to bounded
commutative BCK-algebra, and J. Meng([10]) proved that implicative com-
mutative semigroups are equivalent to a class of BCK-algebras. G. Georgescu
and A. Iorgulescu([3]) introduced the notion of a pseudo BCK-algebra. Y. B.
Jun characterized pseudo BCK-algebras. He found conditions for a pseudo
BCK-algebra to be ^-semi-lattice ordered. Y. B. Jun, H.S. Kim, J. Neg-
gers([8]) introduced the notion of a pseudo d-algebra as a generalization of the
idea of a d-algebra.

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

ฉาก BCK มีหลายการเชื่อมต่อกับพื้นที่อื่น ๆ ของสืบสวน เช่น: ตาข่ายสั่งกลุ่ม MV -ฉาก Wajsberg alge -ยกทรง และ implicative semigroups ที่เขาอายุ J. อักษร M. et al.([2]) ได้กล่าวถึงฉาก Wajsberg ซึ่งเทียบเท่ากับระยะการ MV-ฉาก DMundici([12]) พิสูจน์ MV-ฉากเด็ดขาดเท่ากับการล้อมรอบเขาอายุ BCK-พีชคณิต และ J. Meng([10]) พิสูจน์ที่ implicative com -mutative semigroups จะเท่ากับระดับของ BCK ฉาก G. Georgescuและ A. Iorgulescu([3]) นำของเทียมระบบพีชคณิต BCK ประกันศูนย์ปีข.มิ.ย.ลักษณะหลอกฉาก BCK เขาพบเงื่อนไขหลอกBCK พีชคณิตจะ ^ -กึ่งตาข่ายสั่ง ประกันศูนย์ปีข.มิ.ย. มท.คิม J. Neg-gers([8]) การแนะนำของ d หลอกพีชคณิตเป็นลักษณะทั่วไปของการความคิดของ d-พีชคณิต

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

BCK-จีบมีการเชื่อมต่อหลายกับพื้นที่อื่น ๆ ของ
การตรวจสอบเช่นตาข่ายสั่งซื้อกลุ่ม -algebras MV, Wajsberg พีชคณิต
ยกทรงและ semigroups สับเปลี่ยน implicative JM Font et al. ([2]) ได้
กล่าวถึงจีบ Wajsberg ซึ่งเป็นระยะเทียบเท่ากับ -algebras MV D.
Mundici ([12]) ได้รับการพิสูจน์ -algebras MV แน่ชัดเทียบเท่ากับขอบเขต
การสับเปลี่ยน BCK พีชคณิตและเจเม้ง ([10]) พิสูจน์ให้เห็นว่า implicative สั่ง
semigroups mutative เทียบเท่ากับชั้นเรียนของ BCK-จีบ ซูจี
และเอ Iorgulescu ([3]) นำความคิดของหลอก BCK-พีชคณิต YB
มิถุนายนลักษณะหลอก BCK-จีบ เขาพบว่าเงื่อนไขในการหลอก
BCK พีชคณิตจะเป็น ^ -semi-ตาข่ายสั่งซื้อ YB มิ.ย. HS คิมเจ