|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
An Application of the Yankov Characteristic Formulasстатья
- Автор: Plisko Valery
- Сборник: V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
- Серия: Outstanding Contributions to Logic
- Том: 24
- Год издания: 2022
- Место издания: Springer International Publishing Cham
- Первая страница: 209
- Последняя страница: 219
- Номер статьи: 8
- DOI: 10.1007/978-3-031-06843-0_8
- Аннотация: A detailed exposition of one of the author's old results concerning the relationship between the propositional logic of realizability and the logic of Medvedev is given. The characteristic formulas introduced by Yankov play a decisive role in the proof. Along the way, a brief overview of Yankov's contribution to the study of propositional logic of realizability is given.
- Добавил в систему: Плиско Валерий Егорович