On realizability semantics for independence friendly logic Conference Abstracts
| Conference |
"Десятые Смирновские чтения по логике" 15-17 Jun 2017 , Москва, МГУ |
||||||
|---|---|---|---|---|---|---|---|
| Source | Десятые Смирновские чтения
по логике Compilation, «Современные тетради». Москва.2017. 224 c. ISBN 978-5-88289-445-9. |
||||||
| Output data | Year: 2017, Pages: 32 Pages count : 1 | ||||||
| Authors |
|
||||||
| Affiliations |
|
Abstract:
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.
Cite:
Odintsov S.P.
, Speranski, S.O.
, Shevchenko I.Y.
On realizability semantics for independence friendly logic
In compilation Десятые Смирновские чтения по логике. – «Современные тетради»., 2017. – C.32. – ISBN 978-5-88289-445-9.
On realizability semantics for independence friendly logic
In compilation Десятые Смирновские чтения по логике. – «Современные тетради»., 2017. – C.32. – ISBN 978-5-88289-445-9.
Identifiers:
No identifiers
Citing:
Пока нет цитирований