可计算性逻辑-一流百科

可计算性逻辑

可计算性逻辑可计算性逻辑(CoL)是一个研究计划和数学框架，旨在将逻辑重新发展为一个系统的可计算性形式理论，与作为真理形式理论的经典逻辑相反。它是由Gior...