The above definition is a dual form

The above definition is a dual form of the ordinary definition (cf. [1], [6], [7]).
In our convention any BCK-algebra is a BCC-algebra, but there are BCC-algebras
which are not BCK-algebras (cf. [2]). Such BCC-algebras are called proper. Some
methods of construction of BCC-algebras from BCK-algebras are given in [3]. Note
that (cf. [2]) a BCC-algebra is a BCK-algebra iff it satisfies xy · z = xz · y

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

คำจำกัดความข้างต้นเป็นแบบที่สองของข้อกำหนดทั่วไป (ในมัทธิวที่ [1], [6], [7])ในการประชุมของ BCK-พีชคณิตใด ๆ เป็น BCC-พีชคณิต แต่มีสำเนาลับถึง algebrasซึ่งไม่ใช่ BCK-algebras (มัทธิว [2]) BCC-algebras ดังกล่าวจะเรียกว่าเหมาะสม บางมีกำหนดวิธีการก่อสร้างของ BCC-algebras จาก BCK algebras ใน [3] หมายเหตุนั้น (มัทธิว [2]) BCC-พีชคณิตเป็น iff BCK พีชคณิตที่มันตรง xy · z = xz · y

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

คำนิยามดังกล่าวข้างต้นเป็นรูปแบบที่สองของการนิยามสามัญ (cf [1] [6] [7]).
ในการประชุมของเราใด ๆ BCK พีชคณิตเป็น BCC พีชคณิต แต่มี
BCC-จีบที่ไม่BCK -algebras (cf [2]) BCC-ดังกล่าวจะเรียกว่าจีบราส์ที่เหมาะสม บางวิธีการในการก่อสร้างของ BCC-จีบจาก BCK จีบ-จะได้รับใน [3]
หมายเหตุว่า (cf [2]) ต่อ BCC พีชคณิตเป็น BCK พีชคณิตสมมุติแค่สมมุติมันตอบสนองความเซ็กซี่·ซี = xz · Y

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

นิยามข้างต้นเป็นรูปแบบที่สองของคำนิยามธรรมดา ( CF . [ 1 ] , [ 6 ] [ 7 ] )
ในการประชุมของเราใด ๆ bck พีชคณิตเป็น BCC พีชคณิต แต่มี BCC พีชคณิต
ที่ไม่ bck พีชคณิต ( CF . [ 2 ] ) เช่น BCC พีชคณิตจะเรียกว่าเหมาะสม บาง
วิธีการก่อสร้างของ BCC พีชคณิตจาก bck พีชคณิตยกให้เป็น [ 3 ] หมายเหตุ
( CF[ 2 ] ) เป็น bck BCC พีชคณิตพีชคณิต IFF เหมาะด้วย XY Z = ระนาบด้วย Y