On realizability semantics for independence friendly logic - Conference attendances

On realizability semantics for independence friendly logic Conference attendances

Language

Английский

Participant type

Пленарный

URL

http://philomatica.org/wp-content/uploads/2013/01/srl2017-final.pdf

Conference

"Десятые Смирновские чтения по логике"
15-17 Jun 2017 , Москва, МГУ

Authors

Odintsov S.P. ¹ , Speranski S.O. ² , Shevchenko I.Yu. ³

Affiliations

1	Sobolev Institute of Mathematics
2	Saint Petersburg State University
3	Novosibirsk State University

We suggest realizaibilty interpretation for Hintikka’s independencefriendly first-order logic (IF-FOL for short) starting from the so-called ‘trump semantics’ for IF-FOL discovered by Hodges. We prove that the resulting realizability interpretation for IF-FOL extends Nelson’s realizability interpretation restricted for the implication-free fragment of FOL in an effective way.

Odintsov S.P. , Speranski S.O. , Shevchenko I.Y.
On realizability semantics for independence friendly logic
"Десятые Смирновские чтения по логике" 15-17 Jun 2017