|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logicsстатья
- Авторы: Beklemishev Lev, Shamkanov Daniyar
- Сборник: Liber Amicorum Alberti: A tribute to Albert Visser
- Серия: Tributes
- Том: 30
- Год издания: 2016
- Место издания: College Publications London
- Первая страница: 20
- Последняя страница: 38
- Аннотация: We study abstract versions of G"odel's second incompleteness theorem and formulate generalizations of L"ob's derivability conditions that work for logics weaker than the classical one. We isolate the role of the contraction rule in G"odel's theorem and give toy examples of systems based on modal logic without contraction invalidating G"odel's argument.
- Добавил в систему: Беклемишев Лев Дмитриевич