On realizability semantics for independence friendly logic Тезисы доклада
Конференция |
"Десятые Смирновские чтения по логике" 15-17 июн. 2017 , Москва, МГУ |
||||||
---|---|---|---|---|---|---|---|
Сборник | Десятые Смирновские чтения
по логике Сборник, «Современные тетради». Москва.2017. 224 c. ISBN 978-5-88289-445-9. |
||||||
Вых. Данные | Год: 2017, Страницы: 32 Страниц : 1 | ||||||
Авторы |
|
||||||
Организации |
|
Реферат:
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.
On realizability semantics for independence friendly logic
В сборнике Десятые Смирновские чтения по логике. – «Современные тетради»., 2017. – C.32. – ISBN 978-5-88289-445-9.
Идентификаторы БД:
Нет идентификаторов
Цитирование в БД:
Пока нет цитирований