Several algebras with one binary an

Several algebras with one binary and one nulary operations
were introduced to set up an algebraic counterpart of implication
reduct of classical or non-classical propositional logics.

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

หลายฉากกับไบนารีหนึ่งและการดำเนินงาน nulary หนึ่งนำไปตั้งคู่การทางพีชคณิตของนัยreduct ของ logics propositional คลาสสิก หรือไม่คลาสสิก

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

หลายจีบกับไบนารีและเป็นหนึ่งในการดำเนินงาน nulary
ถูกนำมาใช้ในการตั้งค่าคู่กับพีชคณิตของความหมาย
reduct ของ logics ประพจน์คลาสสิกหรือไม่คลาสสิก

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

พีชคณิตหลายกับไบนารีและหนึ่ง nulary การดําเนินงานแนะนำการตั้งค่าทางพีชคณิตของนัยreduct คลาสสิกหรือไม่ใช่ตรรกะเชิงประพจน์คลาสสิก