1 IntroductionThe concept of Hilber

1 Introduction
The concept of Hilbert algebra was introduced in early 50-ties by L. Henkin
and T. Skolem for some investigations of implication in intuitionistic and other
classical logics. In 60-ties, these algebras were studied especially, by A. Horn
and A. Diego [3] from algebraic point of view. Recently, the Hilbert algebras
were treated by D. Buseneag [1, 2]. We introduce the concept of deductive
system in HS-algeraas. Also we characterized the HS-algebra and obtained
some properties of HS-algebras.

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

บทนำ 1แนะนำแนวคิดของ Hilbert พีชคณิตในช่วง 50-ผูก โดย L. Henkinและ T. Skolem สำหรับการสอบสวนบางของนัย intuitionistic และอื่น ๆlogics คลาสสิก ในความสัมพันธ์ 60 ฉากเหล่านี้มีศึกษาโดยเฉพาะอย่างยิ่ง โดย A. ฮอร์นและ A. ดิเอโก [3] จากมุมมองทางพีชคณิต เมื่อเร็ว ๆ นี้ ฉาก Hilbertถูกรักษา โดย Buseneag D. [1, 2] เราแนะนำแนวคิดของการนิรนัยระบบใน HS-algeraas นอกจากนี้ลักษณะ HS-พีชคณิต และรับบางคุณสมบัติของ HS-ฉาก

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

1 บทนำ
แนวคิดของฮิลแบร์ตพีชคณิตได้รับการแนะนำในช่วงต้นปี 50 โดยแอลสัมพันธ์ Henkin
ตันและ Skolem สำหรับการตรวจสอบบางส่วนของความหมายใน intuitionistic และอื่น ๆ ที่
logics คลาสสิก ใน 60 ความสัมพันธ์จีบเหล่านี้มีการศึกษาโดยเฉพาะอย่างยิ่งโดยกฮอร์น
และเอดิเอโก [3] จากจุดพีชคณิตของมุมมอง เมื่อเร็ว ๆ นี้ฮิลแบร์ตจีบราส์
ได้รับการรักษาโดย D. Buseneag [1, 2] เรานำเสนอแนวคิดของการอนุมาน
ระบบ HS-algeraas นอกจากนี้เราโดดเด่น HS-พีชคณิตและได้รับ
คุณสมบัติของ HS-จีบบาง

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

1 แนะนำแนวคิดของฮิลเบิร์ตพีชคณิตได้รับการแนะนำในช่วงต้น 50 สายสัมพันธ์เฮงคิ้นโดยและ ต. skolem สำหรับตรวจสอบบางอย่างของความหมายใน intuitionistic และอื่น ๆตรรกะคลาสสิก ใน 60 ผูกพีชคณิตเหล่านี้ได้ถูกศึกษาโดยเฉพาะ โดย สังข์และ ดิเอโก้ [ 3 ] จากจุดทางพีชคณิตของมุมมอง เมื่อเร็วๆนี้ ฮิลเบิร์ตพีชคณิตได้รับการรักษาโดย buseneag [ 1 , 2 ] เราแนะนำแนวคิดของการนิรนัยระบบ HS algeraas . นอกจากนี้เราลักษณะ HS พีชคณิต และได้รับคุณสมบัติบางอย่างของ HS พีชคณิต .