首頁 > 期刊 > 人文社會科學(xué) > 哲學(xué)與人文科學(xué) > 邏輯學(xué) > 邏輯學(xué)研究 > 深度和弱寬度有窮的傳遞邏輯的有窮可公理化 【正文】
摘要:這篇文章研究深度和弱寬度都有窮的傳遞邏輯類的可有窮公理化問題,并給出了正反兩方面的結(jié)論。在正面方面,本文證明了對每個深度有窮且弱寬度為1的傳遞邏輯L,如果L 的框架中反鏈的禁自返點基數(shù)都不大于某個自然數(shù)n,那么L 是有窮可公理化的。對于反面結(jié)論,本文證明了對任意n≥ 3 和k ≥ 2,存在深度為n 且弱寬度為k 的傳遞邏輯是不可有窮公理化的。
注:因版權(quán)方要求,不能公開全文,如需全文,請咨詢雜志社
主管單位:中山大學(xué);主辦單位:中山大學(xué);中國邏輯學(xué)會
一對一咨詢服務(wù)、簡單快捷、省時省力
了解更多 >直郵到家、實時跟蹤、更安全更省心
了解更多 >去除中間環(huán)節(jié)享受低價,物流進度實時通知
了解更多 >正版雜志,匹配度高、性價比高、成功率高
了解更多 >