On realizability semantics for independence friendly logic - Доклады на конференциях | Sciact - Система учета научной деятельности ИМ СО РАН

On realizability semantics for independence friendly logic Доклады на конференциях

Язык

Английский

Тип доклада

Пленарный

Url доклада

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

Конференция

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

Авторы

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

Организации

1	Институт математики им. С.Л. Соболева СО РАН
2	Санкт-Петербургский государственный университет
3	Новосибирский государственный университет

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