📢
Репост из группы
Кафедра математической логики МГУ:
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в ближайший четверг, 20 мая, начало в 18:30, состоится доклад
Silvio Ghilardi (University of Milan)
Nuclear implicative semilattices: a finitarity result [from joint work with G. & N. Bezhanishvili, L. Carai, D. Gabelaia, M. Jibladze]
Diego's theorem says that the implication-conjunction fragment of intuitionistic logic is locally finite. We show that the result persists if we enrich the language with a nucleus, that is with a modality j satisfying the conditions x & jx= x, jjx=jx, j(x&y)=jx & jy.
Nuclei arise from the study of locales and topoi and they were also more recently motivated by some computer science applications.
In order to prove the result, we employ, adapt and revisit well-known universal model constructions in non-classical logics.
Видеозаписи предыдущих докладов:
https://www.youtube.com/playlist?list=PLEBNQnjHceeVxr2o766qqr993dyaKWRCXВеб-страница с аннотациями и слайдами:
http://lpcs.math.msu.su/rus/ml.htmДля получения ссылки на зум-конференцию пишите на почту aleksandr.zapryagaev@yandex.ru.
Убедительно просим всех подключающихся указывать в Zoom свои настоящие имя и фамилию!