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 条

[21] Absolute L-Realizability and Intuitionistic Logic
A. Yu. Konovalov
Moscow University Mathematics Bulletin, 2019, 74 : 79 - 82
[22] The nonarithmeticity of the predicate logic of primitive recursive realizability
Plisko, V. E.
IZVESTIYA MATHEMATICS, 2023, 87 (02) : 389 - 419
[23] Modified realizability interpretation of classical linear logic
Oliva, Paulo
22ND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2007, : 431 - 440
[24] Absolute L-Realizability and Intuitionistic Logic
Konovalov, A. Yu
MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2019, 74 (02) : 79 - 82
[25] Realizability criterion for the symmetric nonnegative inverse eigenvalue problem
Soto, Ricardo L.
LINEAR ALGEBRA AND ITS APPLICATIONS, 2006, 416 (2-3) : 783 - 794
[26] Employing Symmetric Dual-Rail Logic to Thwart LPA Attack
Zhu, Nian-Hao
Zhou, Yu-Jie
Liu, Hong-Ming
IEEE EMBEDDED SYSTEMS LETTERS, 2013, 5 (04) : 61 - 64
[27] THE NONARITHMETICITY OF THE PREDICATE LOGIC OF STRICTLY PRIMITIVE RECURSIVE REALIZABILITY
Plisko, Valery
REVIEW OF SYMBOLIC LOGIC, 2022, 15 (03): : 693 - 721
[28] Realizability Proof for Normalization of Full Differential Linear Logic
Gimenez, Stephane
TYPED LAMBDA CALCULI AND APPLICATIONS, (TLCA 2011), 2011, 6690 : 107 - 122
[29] Synthesis of Logic Units for Calculating Self-Dual Symmetric Boolean Functions
Suprun, V. P.
Korobko, F. S.
AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2014, 48 (01) : 17 - 24
[30] Reactive synthesis with maximum realizability of linear temporal logic specifications
Dimitrova, Rayna
Ghasemi, Mahsa
Topcu, Ufuk
ACTA INFORMATICA, 2020, 57 (1-2) : 107 - 135

← 1 2 3 4 5 →