Indeed, there is abranch of categor

Indeed, there is abranch of category theory (Topos theory) to which both intuitionistic and classical logic can be reduced (Bell, 1981).

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

แน่นอน มี abranch ของทฤษฎีประเภท (Topos theory) ซึ่ง intuitionistic และคลาสสิกตรรกะสามารถลดลง (เบลล์ 1981)

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

อันที่จริงมี abranch ของหมวดหมู่ทฤษฎี (ทฤษฎี Topos) ซึ่งทั้งสองตรรกะ intuitionistic และคลาสสิกสามารถลดลงได้ (Bell, 1981)

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

แน่นอน , มี abranch ทฤษฎีประเภททฤษฎีสถานที่ ) ซึ่งทั้งสอง intuitionistic คลาสสิกและตรรกะจะลดลง ( ระฆัง , 1981 )