Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары






«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
10 октября 2017 г. 18:30, г. Москва, Математический институт им.В.А.Стеклова РАН
 


Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика

Ю. В. Саватеевa, Д. С. Шамкановb

a Национальный исследовательский университет "Высшая школа экономики", г. Москва
b Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

Количество просмотров:
Эта страница:82

Аннотация: Логика Гжегорчика - это модальная логика конечных нестрогих порядков. Предлагается новое секвенциальное исчисление для этой логики, использующее бесконечные выводы. Для этой системы доказывается теорема об устранении сечения посредством соответствующего непрерывного оператора на множестве всех выводов.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021