A Generalized Realizability and Intuitionistic Logic

被引：1

作者：

Konovalov, Aleksandr ^{[1
]}

机构：

[1] Lomonosov Moscow State Univ, Fac Mech & Math, GSP 1, Moscow 119991, Russia

来源：

ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 2023年 / 24卷 / 02期

基金：

俄罗斯基础研究基金会;

关键词：

Constructive semantics; realizability; absolute realizability; intuitionistic logic; ARITHMETICAL REALIZABILITY;

D O I：

10.1145/3565367

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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 article, 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.

引用

页数：15

共 26 条

[1]

[Anonymous], 1987, Theory of Recursive Functions and Effective Computability

[2] STRICTLY PRIMITIVE RECURSIVE REALIZABILITY [J].

DAMNJANOVIC, Z .

JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (04) :1210-1227

[3] Minimal realizability of intuitionistic arithmetic and elementary analysis [J].

Damnjanovic, Z .

JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (04) :1208-1241

[4]

Kleene S. C., 1945, The Journal of Symbolic Logic, V10, P109, DOI [10.2307/2269016, DOI 10.2307/2269016]

[5] Basic Predicate Calculus is not Sound with Respect to the Strong Variant of Strictly Primitive Recursive Realizability [J].

Konovalov, A. Yu .

MATHEMATICAL NOTES, 2022, 111 (1-2) :243-257

[6]

Konovalov AY, 2021, ALGEBR LOG+, V60, P89, DOI [10.33048/alglog.2021.60.202, 10.1007/s10469-021-09631-1]

[7] General Recursive Realizability and Basic Logic [J].

Konovalov, A. Yu. .

ALGEBRA AND LOGIC, 2020, 59 (05) :367-384

[8] Generalized Realizability and Markov's Principle [J].

Konovalov, A. Yu .

MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2020, 75 (01) :38-41

[9] Generalized Realizability for Extensions of the Language of Arithmetic [J].

Konovalov, A. Yu .

MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2019, 74 (04) :167-170

[10] Absolute L-Realizability and Intuitionistic Logic [J].

Konovalov, A. Yu .

MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2019, 74 (02) :79-82

← 1 2 3 →