摘要：名义逻辑是Paul Gilmore 的内指类型理论(ITT)的一种新呈现形式，它是一个区分计算与简洁化名义化的推演演算法(N)。该逻辑具有灵活的理解公理，但没有外延公理和无穷公理，尽管N公理是导出Peano的自然数公设的关键。
作者：J{o}rgen Villadsen
论文ID：0812.4814
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-12-31
PDF 下载： 英文版 中文版pdf翻译中