PreliminariesIn this section we rev

Preliminaries
In this section we review some elementary aspects that are necessary for this
paper.
By a BCI-algebra we mean an algebra (X; ∗, 0) of the type (2,0) satisfying the
following axioms:

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

Preliminariesในส่วนนี้ เราทบทวนบางด้านประถมศึกษาที่จำเป็นสำหรับการนี้กระดาษโดย BCI-พีชคณิต เราหมายถึง การพีชคณิต (X ∗ 0) ของการตอบสนองชนิด (2.0)สัจพจน์ต่อไปนี้:

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

ขั้นตอนในส่วนนี้เราทบทวนบางแง่มุมประถมศึกษาที่มีความจำเป็นในการนี้กระดาษ. โดย BCI พีชคณิตเราหมายถึงพีชคณิต (x *, 0) ชนิด (2,0) พอใจหลักการต่อไปนี้:

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

รอบคัดเลือก
ในส่วนนี้เราตรวจสอบบางแง่มุมเบื้องต้นที่จําเป็นสําหรับกระดาษนี้
.
โดยพีชคณิตพีชคณิต BCI เราหมายถึง ( x ; ∗ , 0 ) ประเภท (
0 l ) พอใจตามสัจพจน์ :