Sciact
  • EN
  • RU

On realizability semantics for independence friendly logic Тезисы доклада

Конференция "Десятые Смирновские чтения по логике"
15-17 июн. 2017 , Москва, МГУ
Сборник Десятые Смирновские чтения по логике
Сборник, «Современные тетради». Москва.2017. 224 c. ISBN 978-5-88289-445-9.
Вых. Данные Год: 2017, Страницы: 32 Страниц : 1
Авторы Odintsov S.P. 1 , Speranski, S.O. 2 , Shevchenko I.Yu. 3
Организации
1 Sobolev Institute of Mathematics
2 Saint Petersburg State University
3 Novosibirsk State University

Реферат: We suggest realizaibilty interpretation for Hintikka’s independence-friendly 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
В сборнике Десятые Смирновские чтения по логике. – «Современные тетради»., 2017. – C.32. – ISBN 978-5-88289-445-9.
Идентификаторы БД: Нет идентификаторов
Цитирование в БД: Пока нет цитирований