НИС «Мастерская современной логики»
02 декабря 2025 года состоится заседание научно-исследовательского семинара кафедры логики «Мастерская современной логики».
Время: 16:45
Аудитория г554it
Докладчик: Тимохин Арсентий Александрович, магистрант 2-ого курса философского факультета МГУ.
Тема доклада: Об алгебраических свойствах мезоконнексивной логики MeC.
Аннотация:
В работе исследуется мезоконнексивная логика MeC, которая была разработана для того, чтобы избежать контринтуитивного свойства гиперконнексивности, присущего некоторым коннексивным логикам. Основной результат — построение адекватных алгебраических семантик для логики MeC. Были предложены два эквивалентных класса моделей: F-структуры и твист-структуры. На их основе для MeC доказаны метатеоремы о корректности и полноте. Центральной нерешённой проблемой остаётся доказательство алгебраизуемости логики MeC в смысле Блока и Пигоцци. Проведённое исследование закладывает алгебраический фундамент для дальнейшего изучения мезоконнексивных логик.