Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Календарь
Поиск
Регистрация семинара

RSS
Ближайшие семинары




Семинар С. Л. Кузнецова и С. О. Сперанского "Неклассические логики"
16 ноября 2022 г. 18:00, г. Москва, МИАН, комн. 313 (ул. Губкина, 8) + online
 


Семинар 9. Алгебраический взгляд на неклассические логики

Т. Г. Пшеницын

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
Видеозаписи:
MP4 254.3 Mb

Количество просмотров:
Эта страница:201
Видеофайлы:50

Т. Г. Пшеницын



Аннотация: В данном обзорном докладе будут рассмотрены основные понятия, фундаментальные конструкции и результаты из области алгебраической семантики — мостика между логиками (исчислениями) и классами алгебр. С одной стороны, в докладе будет приведено несколько примеров логик и соответствующих им видов алгебр (от многим известных булевых и гейтинговых алгебр до алгебр Брауэра и модальных алгебр), с другой — много общих определений и фактов из универсальной алгебры (понятия многообразия, эквационального класса, теорема Биркгофа), которые составляют основу алгебраического подхода. В целом, главные цели доклада — познакомить слушателей с этим подходом, показать, как соотносятся логики и классы алгебр, и объяснить, чем на первый взгляд тавтологическая связь между ними может быть полезна. Если позволит время, планируется дойти до алгебраического описания некоторых свойств логик, таких как интерполяционное свойство или дизъюнктивное свойство.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024