In 1966, Y. Imai and K. Is´eki [2]

In 1966, Y. Imai and K. Is´eki [2] introduced a new notion, called a BCK-algebra. This
notion is originated from two different ways: One of them is based on set theory; another
is from classical and non-classical propositional calculi. As is well known, there is a close
relationship between the notions of the set difference in set theory and the implication
functor in logical systems. Then the following problems arise from this relationship. What
is the most essential and fundamental common properties? Can we formulate a new general
algebra from this viewpoint? How can we find an axiom system to establish a good theory
of general algebras? To give an answer these problems, Y. Imai and K. Is´eki introduced
a notion of a new class of general algebras which is called a BCK-algebra. This name is
taken from the BCK-system of C. A. Meredith. Since then many researchers studied several
notions and properties of BCK-algebras. For the general development of BCK-algebras,
the ideal theory plays an important role.

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

ใน 1966, Y. Imai และคุณ Is´eki [2] นำความคิดใหม่ เรียกว่า BCK-พีชคณิต นี้ความเป็นมาจากสองวิธี: หนึ่งในพวกเขาตามที่ทฤษฎีเซต อีกมาจากคลาสสิก และไม่คลาสสิก calculi เชิงประพจน์ เป็นที่รู้จัก ไม่ใกล้ชิดความสัมพันธ์ระหว่างความเข้าใจความแตกต่างที่กำหนดในทฤษฎีเซตและเนื่องจากfunctor ระบบตรรกะ แล้วปัญหาต่อไปนี้เกิดขึ้นจากความสัมพันธ์นี้ อะไรนะมีคุณสมบัติทั่วไปพื้นฐาน และสำคัญที่สุด เราสามารถตั้งทั่วไปใหม่พีชคณิตจากมุมนี้ เราสามารถค้นหาระบบสัจพจน์การสร้างทฤษฎีที่ดีของ algebras ทั่วไป ให้คำตอบปัญหาเหล่านี้ Y. Imai และคุณ Is´eki แนะนำความคิดของชั้นเรียนใหม่ของ algebras ทั่วไปที่เรียกว่า BCK-พีชคณิต ชื่อนี้นำมาจากระบบ BCK ของ C. A. Meredith หลังจากนั้น นักวิจัยหลายศึกษาหลายความเข้าใจและคุณสมบัติของ BCK-algebras สำหรับการพัฒนาทั่วไปของ BCK-algebrasทฤษฎีเหมาะเล่นมีบทบาทสำคัญ

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

ในปี 1966 และ Imai วายเค Is'eki [2] แนะนำความคิดใหม่ที่เรียกว่า BCK พีชคณิต
นี้ความคิดที่มาจากสองวิธีที่แตกต่างกันหนึ่งในนั้นจะขึ้นอยู่กับการตั้งทฤษฎี;
อีกจากประพจน์คลาสสิกและไม่คลาสสิกนิ่ว
ในฐานะที่เป็นที่รู้จักกันดีมีความใกล้เคียงกับความสัมพันธ์ระหว่างความคิดของความแตกต่างที่ตั้งไว้ในการตั้งทฤษฎีและความหมาย
functor ในระบบลอจิคัล แล้วปัญหาต่อไปนี้เกิดขึ้นจากความสัมพันธ์นี้
สิ่งที่เป็นที่สำคัญที่สุดและคุณสมบัติพื้นฐานเหมือนกัน?
เราสามารถกำหนดทั่วไปใหม่พีชคณิตจากมุมมองนี้หรือไม่? วิธีการที่เราสามารถหาระบบความจริงที่จะสร้างทฤษฎีที่ดีของ algebras ทั่วไป?
ที่จะให้คำตอบปัญหาเหล่านี้วาย Imai และเค Is'eki
แนะนำความคิดของชั้นเรียนใหม่ของalgebras ทั่วไปที่เรียกว่า BCK พีชคณิต ชื่อนี้จะนำมาจาก BCK ระบบของ CA เมเรดิ ธ
ตั้งแต่นั้นมาการศึกษาวิจัยหลายคนหลายความคิดและสมบัติของ BCK-จีบ
สำหรับการพัฒนาทั่วไปของ BCK-จีบ,
ทฤษฎีในอุดมคติที่มีบทบาทสำคัญ