文章通過(guò)削弱經(jīng)典的Friedman-Sheard理論的邏輯基礎(chǔ),討論了基于直覺(jué)主義邏輯的IFS理論。通過(guò)將直覺(jué)主義邏輯的語(yǔ)義學(xué)與修正語(yǔ)義學(xué)相結(jié)合,文章提出了直覺(jué)主義修正語(yǔ)義學(xué),并證明了IFS可以將這種直覺(jué)主義修正語(yǔ)義學(xué)公理化至第一個(gè)極限序數(shù)。文章在最后證明了FS可以通過(guò)否定性轉(zhuǎn)換嵌入IFS。 

【文章來(lái)源】：邏輯學(xué)研究. 2018,11(02)CSSCI

【文章頁(yè)數(shù)】：19 頁(yè)


本文編號(hào)：3132383