| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
|
|||
|
|
|||
|
Об устранении сечения для модальной логики транзитивного замыкания Д. С. Шамканов |
|||
|
Аннотация: Мы обсудим исчисление секвенций с нефундированными выводами для модальной логики с модальностью транзитивного замыкания и рассмотрим детали синтаксического устранения сечения в данной системе. |
|||