Dual realizability in symmetric logic

被引：0

作者：

Zaslavsky, ID ^{[1
]}

机构：

[1] Natl Acad Sci Armenia, Inst Informat & Automat Problems, Yerevan, Armenia

[2] Yerevan State Univ, Yerevan 375049, Armenia

来源：

ANNALS OF PURE AND APPLIED LOGIC | 2002年 / 113卷 / 1-3期

关键词：

realizability; calculus; predicate; quantifier;

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

A variant of the notion of symmetric constructive realizability is introduced where the information about the symmetric constructive truth or falsity of an arithmetical formula is expressed by a single natural number. The methods of transformations of such a realization to the realizations of known kinds and those of reverse transformations are given. The formal arithmetical system based on such a realizability is investigated. (C) 2002 Elsevier Science B.V. All rights reserved.

引用

下载

页码：389 / 397

页数：9

共 50 条

[1] REALIZABILITY AND INTUITIONISTIC LOGIC
DILLER, J
TROELSTRA, AS
SYNTHESE, 1984, 60 (02) : 253 - 282
[2] A Generalized Realizability and Intuitionistic Logic
Konovalov, Aleksandr
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (02)
[3] A SURVEY OF PROPOSITIONAL REALIZABILITY LOGIC
Plisko, Valery
BULLETIN OF SYMBOLIC LOGIC, 2009, 15 (01) : 1 - 42
[4] Modified realizability and predicate logic
V. E. Plisko
Mathematical Notes, 1997, 61 : 212 - 220
[5] Generalized Realizability and Basic Logic
Konovalov, Aleksandr Yu
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (04)
[6] A survey of predicate realizability logic
Plisko, Valerii E.
PROCEEDINGS OF THE STEKLOV INSTITUTE OF MATHEMATICS, 2011, 274 (01) : 204 - 230
[7] A survey of predicate realizability logic
Valerii E. Plisko
Proceedings of the Steklov Institute of Mathematics, 2011, 274 : 204 - 230
[8] Modified realizability and predicate logic
Plisko, VE
MATHEMATICAL NOTES, 1997, 61 (1-2) : 212 - 220
[9] Arithmetical realizability and basic logic
Konovalov, A. Yu.
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2016, 71 (01) : 35 - 38
[10] RECURSIVE REALIZABILITY AND CONSTRUCTIVE LOGIC OF PREDICATES
PLISKO, VE
DOKLADY AKADEMII NAUK SSSR, 1974, 214 (03): : 520 - 523

← 1 2 3 4 5 →