|
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
23 апреля 2018 г. 18:30–20:05, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Контур Толк
|
 |
|
 |
|
|
|
Нефундированные выводы для логики Go
Ю. В. Саватеев |
| Количество просмотров: |
| Эта страница: | 158 |
|
Аннотация:
Логика Go или слабая логика Гжегорчика является иррефлексивным вариантом логики Гжегорчика. Удаление сечения в этой логики классическими методами является технически сложной задачей. На докладе будет рассказано о том, как применить для этой задачи новый метод устранения сечения, использующий нефундированные выводы и хорошо зарекомендовавший себя в других логиках.
|
|
Обратная связь: