论文标题
通用可实现性和基本逻辑
Generalized Realizability and Basic Logic
论文作者
论文摘要
令V为一组数字理论功能。我们定义了对谓词公式和序列的绝对V-真实性的概念，以使V中的函数索引用于解释含义和通用量词。在本文中，我们证明，如果V满足某些自然条件，则基本逻辑相对于绝对V-循环的语义是合理的。
Let V be a set of number-theoretical functions. We define a notion of absolute V-realizability for predicate formulas and sequents 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 Basic Logic is sound with respect to the semantics of absolute V-realizability if V satisfies some natural conditions.
