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 条

[1] General Recursive Realizability and Basic Logic
A. Yu. Konovalov
Algebra and Logic, 2020, 59 : 367 - 384
[2] General Recursive Realizability and Intuitionistic Logic
A. Yu. Konovalov
Algebra and Logic, 2021, 60 : 89 - 94
[3] General Recursive Realizability and Intuitionistic Logic
Konovalov, A. Yu
ALGEBRA AND LOGIC, 2021, 60 (02) : 89 - 94
[4] RECURSIVE REALIZABILITY AND CONSTRUCTIVE LOGIC OF PREDICATES
PLISKO, VE
DOKLADY AKADEMII NAUK SSSR, 1974, 214 (03): : 520 - 523
[5] Generalized Realizability and Basic Logic
Konovalov, Aleksandr Yu
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (04)
[6] Arithmetical realizability and basic logic
Konovalov, A. Yu.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2016, 71 (01) : 35 - 38
[7] The nonarithmeticity of the predicate logic of primitive recursive realizability
Plisko, V. E.
IZVESTIYA MATHEMATICS, 2023, 87 (02) : 389 - 419
[8] THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY
Plisko, Valery
REVIEW OF SYMBOLIC LOGIC, 2022, 15 (03): : 693 - 721
[9] Arithmetical realizability and primitive recursive realizability
Konovalov, A. Yu.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2016, 71 (04) : 166 - 169
[10] Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Birkedal, Lars
Stovring, Kristian
Thamsborg, Jacob
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 : 456 - 470

← 1 2 3 4 5 →