<fc #FF0000>Осенью 2021 года семинар будет проходить по вторникам с 16:45 до 18:20 в аудитории 13-02. Начало 14 сентября, следите за обновлениями страницы</fc>

Зум семинара: https://yandex.zoom.us/j/94909396680

Работа семинара в осеннем семестре 2021 года:

Галя Калеева. Универсальная эквивалентность линейных групп над кольцами

Аня Дмитриева. Positive modal logic beyond distributivity

During the talk we are going to introduce a new duality for lattices, based on the works of Jipsen and Moshier as well as classical results of Hilary Priestley. Next we will extend the obtained duality to the modal case and use it to demonstrate that filter completions preserve positive modal formulas. Finally, we will discuss logical deductive systems connected to the constructed dualities and their completeness.