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

本文編號(hào)：2477079