Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability | Sciact - Система учета научной деятельности ИМ СО РАН

Журнал

Studia Logica
ISSN: 0039-3215 , E-ISSN: 1572-8730

Вых. Данные

Год: 2018, Том: 106, Номер: 3, Страницы: 637-670 Страниц : 34 DOI: 10.1007/S11225-017-9760-X

Ключевые слова

Constructivism; Game-theoretic semantics; Independence-friendly logic; Realizability; Strong negation; Trump semantics

Авторы

Odintsov Sergei P. ¹ , Speranski Stanislav O. ² , Shevchenko Igor Yu. ³

Организации

1	Sobolev Institute of Mathematics
2	St. Petersburg State University
3	Novosibirsk State University

Odintsov S.P. , Speranski S.O. , Shevchenko I.Y.
Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability
Studia Logica. 2018. V.106. N3. P.637-670. DOI: 10.1007/S11225-017-9760-X WOS Scopus OpenAlex