|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Циклические выводы в логике доказуемости Гёделя-Лёбадоклад на конференции
- Автор: Шамканов Данияр Салкарбекович
- Международная Конференция : Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года
- Даты проведения конференции: 15-17 июня 2017
- Дата доклада: 16 июня 2017
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Философский факультет, МГУ имени М. В. Ломоносова, Russia
-
Аннотация доклада:
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.
- Добавил в систему: Золин Евгений Евгеньевич