The concept of Hilbert algebra was

The concept of Hilbert algebra was introduced in early 50-ties by L.Henkin
and T.Skolem for some investigations of implication in intuicionistic and
other non-classical logics. In 60-ties, these algebras were studied especially
by A.Horn and A.Diego from algebraic point of view. A.Diego proved (cf.
[4]) that Hilbert algebras form a variety which is locally finite. Hilbert algebras
were treated by D.Busneag (cf. [1], [2]) and Y.B.Jun (cf. [5]) and
some of their filters forming deductive systems were recognized. I.Chajda
and R.Halaˇs introduced in [3] the concept of ideal in Hilbert algebra and
described connections between such ideals and congruences. In this note we
describe connections between such ideals and deductive systems.

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

แนวคิดของฮิลแบร์ทพีชคณิตถูกนำมาใช้ในช่วง 50-ผูก โดย L.Henkinและ T.Skolem สำหรับการสอบสวนบางของปริยายใน intuicionistic และlogics ที่ไม่คลาสสิกอื่น ๆ ใน 60-สายสัมพันธ์ algebras เหล่านี้ถูกศึกษาโดยเฉพาะอย่างยิ่งโดย A.Horn และ A.Diego จากมุมมองพีชคณิต พิสูจน์ (cf A.Diego[4]) ว่า ฮิลแบร์ท algebras แบบฟอร์มต่าง ๆ ที่มีในท้องถิ่น ฮิลแบร์ท algebrasได้รับการรักษา โดย D.Busneag (มัทธิว [1], [2]) และ Y.B.Jun (มัทธิว [5]) และของตัวกรองการขึ้นรูประบบ deductive ได้รู้จัก I.Chajdaและ R.Halaˇs นำใน [3] แนวคิดของดาวในฮิลแบร์ทพีชคณิต และอธิบายการเชื่อมต่อระหว่างอุดมคติและ congruences ดังกล่าว ในบันทึกนี้เราอธิบายการเชื่อมต่อระหว่างระบบ deductive และอุดมคติดังกล่าว

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

แนวคิดของพีชคณิต Hilbert ได้รับการแนะนำในช่วงต้นปี 50 โดยความสัมพันธ์ L.Henkin
และ T.Skolem สำหรับการตรวจสอบบางส่วนของความหมายใน intuicionistic และ
อื่น ๆ ที่ไม่ใช่ logics คลาสสิก ในความสัมพันธ์ 60, จีบเหล่านี้มีการศึกษาโดยเฉพาะอย่างยิ่ง
โดย A.Horn และ A.Diego พีชคณิตจากจุดของมุมมอง ได้รับการพิสูจน์ A.Diego (cf
[4]) ที่จีบราฮิลแบร์ตหลากหลายรูปแบบที่มี จำกัด ในประเทศ ฮิลแบร์ตจีบราส์
ได้รับการรักษาโดย D.Busneag (cf [1], [2]) และ YBJun (cf [5]) และ
บางส่วนของตัวกรองของพวกเขาสร้างระบบการอนุมานได้รับการยอมรับ I.Chajda
R.Halas และนำมาใช้ใน [3] แนวคิดของที่เหมาะในพีชคณิต Hilbert และ
อธิบายการเชื่อมต่อระหว่างอุดมคติดังกล่าวและสมภาค ในบันทึกนี้เรา
อธิบายการเชื่อมต่อระหว่างอุดมคติดังกล่าวและระบบนิรนัย

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

แนวคิดของฮิลเบิร์ตพีชคณิตได้รับการแนะนำในช่วงต้น 50 เสมอ โดย l.henkin
. skolem สำหรับตรวจสอบบางอย่างของความหมายใน intuicionistic และ
อื่นๆที่ไม่ใช่คลาสสิก logics . ใน 60 ผูกพีชคณิตเหล่านี้ถูกศึกษาโดยเฉพาะอย่างยิ่ง
โดย ฮอร์นและ . Diego จากจุดทางพีชคณิตของมุมมอง A . Diego พิสูจน์ ( CF .
[ 4 ] ) ซึ่งฮิลเบิร์ตพีชคณิตหลากหลายรูปแบบซึ่งเป็นท้องถิ่นจำกัด ฮิลเบิร์ตพีชคณิต
ได้รับการรักษาโดย busneag ( CF . [ 1 ] , [ 2 ] ) และ y.b.jun ( CF . [ 5 ] ) และบางส่วนของพวกเขาเป็นระบบกรอง
นิรนัย เป็นที่รู้จัก และ i.chajda
r.hala ˇ S เปิดตัวใน [ 3 ] แนวคิดในอุดมคติที่แท้จริงและพีชคณิต
อธิบายการเชื่อมต่อระหว่างอุดมการณ์ดังกล่าว และ congruences . ในบันทึกนี้เรา
อธิบายการเชื่อมต่อระหว่างอุดมการณ์ดังกล่าว และระบบแบบนิรนัย