Standard

Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability. / Odintsov, Sergei P.; Speranski, Stanislav O.; Shevchenko, Igor Yu.

в: Studia Logica, Том 106, № 3, 01.06.2018, стр. 637-670.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Odintsov, SP, Speranski, SO & Shevchenko, IY 2018, 'Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability', Studia Logica, Том. 106, № 3, стр. 637-670. https://doi.org/10.1007/s11225-017-9760-x

APA

Odintsov, S. P., Speranski, S. O., & Shevchenko, I. Y. (2018). Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability. Studia Logica, 106(3), 637-670. https://doi.org/10.1007/s11225-017-9760-x

Vancouver

Odintsov SP, Speranski SO, Shevchenko IY. Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability. Studia Logica. 2018 июнь 1;106(3):637-670. doi: 10.1007/s11225-017-9760-x

Author

Odintsov, Sergei P. ; Speranski, Stanislav O. ; Shevchenko, Igor Yu. / Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability. в: Studia Logica. 2018 ; Том 106, № 3. стр. 637-670.

BibTeX

@article{40a306c140c145a2809cb18c84f8e94b,
title = "Hintikka{\textquoteright}s Independence-Friendly Logic Meets Nelson{\textquoteright}s Realizability",
abstract = "Inspired by Hintikka{\textquoteright}s ideas on constructivism, we are going to {\textquoteleft}effectivize{\textquoteright} the game-theoretic semantics (abbreviated GTS) for independence-friendly first-order logic (IF-FOL), but in a somewhat different way than he did in the monograph {\textquoteleft}The Principles of Mathematics Revisited{\textquoteright}. First we show that Nelson{\textquoteright}s realizability interpretation—which extends the famous Kleene{\textquoteright}s realizability interpretation by adding {\textquoteleft}strong negation{\textquoteright}—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called {\textquoteleft}trump semantics{\textquoteright} which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson{\textquoteright}s restricted realizability interpretation for the implication-free first-order formulas.",
keywords = "Constructivism, Game-theoretic semantics, Independence-friendly logic, Realizability, Strong negation, Trump semantics",
author = "Odintsov, {Sergei P.} and Speranski, {Stanislav O.} and Shevchenko, {Igor Yu}",
note = "The research of S. P. Odintsov was partially supported by the Grants Council (under RF President) for State Aid of Leading Scientific Schools (Grant NSh-6848.2016.1). The research of S. O. Speranski was partially supported by the Alexander von Humboldt Foundation.",
year = "2018",
month = jun,
day = "1",
doi = "10.1007/s11225-017-9760-x",
language = "English",
volume = "106",
pages = "637--670",
journal = "Studia Logica",
issn = "0039-3215",
publisher = "Springer Netherlands",
number = "3",

}

RIS

TY - JOUR

T1 - Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability

AU - Odintsov, Sergei P.

AU - Speranski, Stanislav O.

AU - Shevchenko, Igor Yu

N1 - The research of S. P. Odintsov was partially supported by the Grants Council (under RF President) for State Aid of Leading Scientific Schools (Grant NSh-6848.2016.1). The research of S. O. Speranski was partially supported by the Alexander von Humboldt Foundation.

PY - 2018/6/1

Y1 - 2018/6/1

N2 - Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics (abbreviated GTS) for independence-friendly first-order logic (IF-FOL), but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas.

AB - Inspired by Hintikka’s ideas on constructivism, we are going to ‘effectivize’ the game-theoretic semantics (abbreviated GTS) for independence-friendly first-order logic (IF-FOL), but in a somewhat different way than he did in the monograph ‘The Principles of Mathematics Revisited’. First we show that Nelson’s realizability interpretation—which extends the famous Kleene’s realizability interpretation by adding ‘strong negation’—restricted to the implication-free first-order formulas can be viewed as an effective version of GTS for FOL. Then we propose a realizability interpretation for IF-FOL, inspired by the so-called ‘trump semantics’ which was discovered by Hodges, and show that this trump realizability interpretation can be viewed as an effective version of GTS for IF-FOL. Finally we prove that the trump realizability interpretation for IF-FOL appropriately generalises Nelson’s restricted realizability interpretation for the implication-free first-order formulas.

KW - Constructivism

KW - Game-theoretic semantics

KW - Independence-friendly logic

KW - Realizability

KW - Strong negation

KW - Trump semantics

UR - http://www.scopus.com/inward/record.url?scp=85031416462&partnerID=8YFLogxK

U2 - 10.1007/s11225-017-9760-x

DO - 10.1007/s11225-017-9760-x

M3 - Article

AN - SCOPUS:85031416462

VL - 106

SP - 637

EP - 670

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

IS - 3

ER -

ID: 9890994