defined a class of algebras of type

defined a class of algebras of type (2,0) called BCK-algebra which
generalizes on one hand the notion of algebra of sets with the set subtraction
as the only fundamental non-nullary operation.

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

กำหนดระดับของ algebras ชนิด (2,0) เรียกว่า BCK พีชคณิตซึ่ง
generalizes บนมือข้างหนึ่งความคิดของพีชคณิตของชุดที่มีการลบชุด
เป็นเพียงการดำเนินการไม่ nullary พื้นฐาน

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

กำหนดระดับของพีชคณิตประเภท ( 0 l ) เรียกว่า พีชคณิต ซึ่งหนึ่งในมือ bck
เช่นนี้ได้ขยายแนวคิดของพีชคณิตของเซต ด้วยการลบ
เป็นชุดพื้นฐานเท่านั้น ไม่ nullary การดําเนินงาน