a logic system, named BL, which is

a logic system, named BL, which is the logic of all
continuous t-norms and of their residual. Esteva et al. in
Ref. [3] propose monoidal t-norm based logic (MTL), and
conjecture that MTL is the logic of left-continuous t-norms
and of their residuals

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

ระบบตรรกะชื่อ BL, ซึ่งเป็นตรรกะของทั้งหมด
เสื้อบรรทัดฐานอย่างต่อเนื่องและเป็นของที่เหลือ Esteva และคณะ ใน
การอ้างอิง [3] เสนอ monoidal เสื้อบรรทัดฐานตรรกะพื้นฐาน (MTL) และ
การคาดเดาว่า MTL เป็นตรรกะของซ้ายอย่างต่อเนื่องเสื้อบรรทัดฐาน
และของเหลือของพวกเขา

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

เป็นระบบตรรกะที่ชื่อแอล ซึ่งเป็นตรรกะของ t-norms อย่างต่อเนื่องทั้งหมด
และของพวกเขาที่เหลือ esteva et al . ในอังกฤษ เสนอ t-norm
[ 3 ] monoidal ตรรกะพื้นฐาน ( MTL ) และ
การ MTL เป็นตรรกะของซ้าย
t-norms อย่างต่อเนื่องและความผิดพลาดของพวกเขา