论文标题
通用的可实现性和直觉逻辑
Generalized Realizability and Intuitionistic Logic
论文作者
论文摘要
令V为一组数字理论功能。我们定义了谓词公式的V-真实性的概念，以使V中的函数索引用于解释含义和通用量词。在本文中，我们证明直觉谓词微积分相对于v -ealtizability的语义是合理的，并且只有当某些自然条件保持v时。
Let V be a set of number-theoretical functions. We define a notion of V -realizability for predicate formulas in such a way that the indices of functions in V are used for interpreting the implication and the universal quantifier. In this paper we prove that Intuitionistic Predicate Calculus is sound with respect to the semantics of V -realizability if and only if some natural conditions for V hold.
