|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Циклические выводы в логике доказуемости Гёделя-Лёбатезисы доклада
- Автор: Шамканов Данияр Салкарбекович
- Сборник: Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года
- Редакторы: Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2017
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 56
- Последняя страница: 58
- Аннотация: A Hilbert-style proof system for the Godel-Lob provability logic GL is considered, in which provability is based on the notion of a cyclic (circular) proof. Unlike ordinary derivations, these proofs can be represented by graphs allowed to contain cycles, rather than by finite trees.
- Добавил в систему: Золин Евгений Евгеньевич