Перечень мероприятий
16 май 2020
Московский логический семинар
16 мая 2020 года в 12.00 пройдет заседание Московского логического семинара.
В рамках семинара состоится доклад С. Одинцова "Твист-структуры и закон исключенного третьего".
Аннотация:
Что касается названия, то точность принесена в жертву краткости. Речь же пойдет о следующем. Для широкого класса модальных логик на основе FDE будет построена семантика твист-структур и доказана их алгебраизуемость.
