這篇文章研究深度和弱寬度都有窮的傳遞邏輯類的可有窮公理化問題,并給出了正反兩方面的結論。在正面方面,本文證明了對每個深度有窮且弱寬度為1的傳遞邏輯L,如果L的框架中反鏈的禁自返點基數都不大于某個自然數n,那么L是有窮可公理化的。對于反面結論,本文證明了對任意n≥3和k≥2,存在深度為n且弱寬度為k的傳遞邏輯是不可有窮公理化的。 

【文章來源】：邏輯學研究. 2019,12(03)CSSCI

【文章頁數】：16 頁


本文編號：3261690