| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
|
|||
|
|
|||
|
Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика Ю. В. Саватеевa, Д. С. Шамкановb a Национальный исследовательский университет "Высшая школа экономики", г. Москва b Математический институт им. В.А. Стеклова Российской академии наук, г. Москва |
|||
|
Аннотация: Логика Гжегорчика - это модальная логика конечных нестрогих порядков. Предлагается новое секвенциальное исчисление для этой логики, использующее бесконечные выводы. Для этой системы доказывается теорема об устранении сечения посредством соответствующего непрерывного оператора на множестве всех выводов. |
|||