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

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




Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
18 марта 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
 


Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика

В. Б. Шехтман
Видеозаписи:
MP4 1,188.0 Mb
MP4 2,616.6 Mb
Дополнительные материалы:
Adobe PDF 386.7 Kb

Количество просмотров:
Эта страница:299
Видеофайлы:73
Материалы:35

В. Б. Шехтман



Аннотация: Рассматриваются фрагменты модальных предикатных логик с одной индивидной переменной и связанная с этим конструкция полупроизведения (или "расширяющегося произведения") модальных логик высказываний. Аксиоматизация полупроизведений - достаточно нетривиальная задача, но для некоторых случаев ее удалось решить. Нетривиальна и аксиоматизация предикатных логик с одной переменной, но и здесь получен некоторый достаточно общий результат. Для его доказательства применяется симплициальная семантика, о которой шла речь в докладе конца 2017 г.

Дополнительные материалы: talkmosmarch19.pdf (386.7 Kb)
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024