Логический семинар лаборатории им. Манина Высшей школы современной математики

Когда: среда 17 июня, 14:00
Где: МФТИ, Административный корпус, ауд.322,

Доклад:

В.Б. Шехтман,
"Фрагменты модальных предикатных логик с 1 переменной и симплициальная семантика"

Фрагмент 1-модальной предикатной логики с 1 переменной можно представить как 2-модальную пропозициональную логику, в которой вторая модальность соответствует квантору. Эти 2-модальные логики отчасти связаны с произведениями и полупроизведениями. Их аксиоматизация нетривиальна и, как правило неизвестна.

Но в некоторых случаях она получается “минимальным образом”, а именно для логик вида QL, где L - полная хорново аксиоматизируемая модальная логика.

В докладе будет изложено доказательство этого результата. В нем используется симплициальная семантика модальных логик Д. Скворцова и конструкция А. Гротендика симплициальных множеств как нервов группоидов.


Планируется интернет-трансляция по адресу
https://telemost.yandex.ru/j/00084330909943
Регистрируйтесь вашей фамилией, а не псевдонимом!

Страница семинара: https://www.mathnet.ru/rus/conf2559

Адрес: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
Если у вас нет пропуска МФТИ, то на входе сообщайте, что идёте на наш семинар, и не забудьте паспорт.

#ВШМ_логический