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 条
  • [31] Reactive synthesis with maximum realizability of linear temporal logic specifications
    Rayna Dimitrova
    Mahsa Ghasemi
    Ufuk Topcu
    Acta Informatica, 2020, 57 : 107 - 135
  • [32] Probability and Symmetric Logic
    Sanchez, Michal Gil
    Gyenis, Zalan
    Wronski, Leszek
    JOURNAL OF PHILOSOPHICAL LOGIC, 2023, 52 (01) : 183 - 198
  • [33] Probability and Symmetric Logic
    Michał Gil Sanchez
    Zalán Gyenis
    Leszek Wroński
    Journal of Philosophical Logic, 2023, 52 : 183 - 198
  • [34] Symmetric logic of proofs
    Artemov, Sergei
    PILLARS OF COMPUTER SCIENCE, 2008, 4800 : 58 - 71
  • [35] A family of realizability criteria for the real and symmetric nonnegative inverse eigenvalue problem
    Soto, Ricardo L.
    NUMERICAL LINEAR ALGEBRA WITH APPLICATIONS, 2013, 20 (02) : 336 - 348
  • [36] Variants of realizability for propositional formulas and the logic of the weak law of excluded middle
    Chernov, AV
    Skvortsov, DP
    Skvortsova, EZ
    Vereshchagin, NK
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2002, 2471 : 74 - 88
  • [37] UNIVERSAL SYMMETRIC LOGIC ELEMENTS
    KOSTYUKOVICH, AI
    AUTOMATION AND REMOTE CONTROL, 1980, 41 (09) : 1312 - 1315
  • [38] Symmetric Paraconsistent Quantum Logic
    Kamide, Norihiro
    2021 IEEE 51ST INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2021), 2021, : 26 - 32
  • [39] Symmetric structure in logic programming
    Wu, JZ
    Fecher, H
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (06) : 803 - 811
  • [40] Symmetric structure in logic programming
    Jin-Zhao Wu
    Harald Fecher
    Journal of Computer Science and Technology, 2004, 19 : 803 - 811
12345