General Recursive Realizability and Basic Logic

被引：4

作者：

Konovalov, A. Yu. ^{[1
]}

机构：

[1] Lomonosov Moscow State Univ, Moscow, Russia

来源：

ALGEBRA AND LOGIC | 2020年 / 59卷 / 05期

关键词：

realizability; absolute realizability; subrecursive realizability; basic logic;

D O I：

10.1007/s10469-020-09610-y

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

The notion of general recursive realizability is defined based on using indices of general recursive functions as a constructive way of obtaining some realizations from others. The soundness of basic logic with respect to the semantics of general recursive realizability is proved.

引用

下载

页码：367 / 384

页数：18

共 50 条

[21] FORMALIZED RECURSIVE FUNCTIONALS AND FORMALIZED REALIZABILITY
KLEENE, SC
MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, (89) : 1 - &
[22] RECURSIVE REALIZABILITY FROM INTUITIONISTIC VIEWPOINT
GAVRILENKO, IV
DOKLADY AKADEMII NAUK SSSR, 1981, 256 (01): : 18 - 22
[23] REALIZABILITY AND RECURSIVE SET-THEORY
MCCARTY, C
ANNALS OF PURE AND APPLIED LOGIC, 1986, 32 (02) : 153 - 183
[24] RECURSIVE REALIZABILITY AND FORMAL ARITHMETIC SYSTEMS
SOVLJANSKI, M
JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (04) : 1084 - 1085
[25] A Generalized Realizability and Intuitionistic Logic
Konovalov, Aleksandr
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (02)
[26] A SURVEY OF PROPOSITIONAL REALIZABILITY LOGIC
Plisko, Valery
BULLETIN OF SYMBOLIC LOGIC, 2009, 15 (01) : 1 - 42
[27] Dual realizability in symmetric logic
Zaslavsky, ID
ANNALS OF PURE AND APPLIED LOGIC, 2002, 113 (1-3) : 389 - 397
[28] Modified realizability and predicate logic
V. E. Plisko
Mathematical Notes, 1997, 61 : 212 - 220
[29] A survey of predicate realizability logic
Plisko, Valerii E.
PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2011, 274 (01) : 204 - 230
[30] A survey of predicate realizability logic
Valerii E. Plisko
Proceedings of the Steklov Institute of Mathematics, 2011, 274 : 204 - 230

← 1 2 3 4 5 →