Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability › Research Explorer

Novosibirsk State University's Research Portal

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

Research output: Contribution to journal › Article › peer-review

Department of Mechanics and Mathematics

DOI

https://doi.org/10.1007/s11225-017-9760-x
Final published version

Sergei P. Odintsov
Stanislav O. Speranski
Igor Yu Shevchenko

Original language	English
Pages (from-to)	637-670
Number of pages	34
Journal	Studia Logica
Volume	106
Issue number	3
DOIs	https://doi.org/10.1007/s11225-017-9760-x
Publication status	Published - 1 Jun 2018

OECD FOS+WOS

1.01.QL LOGIC
6.01.MQ HISTORY & PHILOSOPHY OF SCIENCE
1.01 MATHEMATICS

Research areas

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

ID: 9890994