定义自身真实性的一种有用逻辑
摘要：存在性固定点逻辑（EFPL）是某些应用的自然选择，本文的目的是引起对EFPL的关注。该逻辑本身也具有吸引人的特性。其中一个特性非常不寻常：公式的真实性可以在逻辑中定义（在适当的语法工具的基础上）。我们在其他地方提及了这个特性，并借此机会提供证明。
作者：Andreas Blass (University of Michigan) and Yuri Gurevich (Microsoft Research)
论文ID：0811.0964
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-11-07