【摘要】：在證成邏輯的研究中,加號所扮演的角色總是需要特別加以說明。在這篇文章中我們將厘清加號的功能,并提出一個新的證成邏輯系統(tǒng),在此系統(tǒng)中加號將被解釋為較符合直覺的證成集的聯(lián)集。我們將提供該系統(tǒng)的語義并證明其完備性,然后建立此一新系統(tǒng)與傳統(tǒng)證成邏輯之間關(guān)O，

本文編號：2477079