|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Предикатные версии сильных логик первого уровнястатья
- Автор: Беликов А.А.
- Сборник: Первый Конгресс Русского общества истории и философии науки "История и философия науки в эпоху перемен": сборник научных статей / Научн. ред. и сост. И.Т. Касавина и др. В 6 томах
- Том: 1
- Год издания: 2018
- Место издания: Изд-во «Русское общество истории и философии науки» Москва
- Первая страница: 71
- Последняя страница: 73
- Аннотация: В работе обсуждается возможность формулировки логики ДаннаБелнапа, а также некоторых родственных ей логик в первопорядковом языке. Исследуется возможность гильбертовской формализации отношений следования, которые детерминируют указанные логики.
- Добавил в систему: Беликов Александр Александрович