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

Journal

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

Output data

Year: 2018, Volume: 106, Number: 3, Pages: 637-670 Pages count : 34 DOI: 10.1007/S11225-017-9760-X

Tags

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

Authors

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

Affiliations

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