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