RUS  ENG
Полная версия
СЕМИНАРЫ

Семинар лаборатории математической логики (Санкт-Петербург)
21 апреля 2020 г. 18:30, г. Санкт-Петербург, online


Канонические расширения в логике: основные результаты и примеры использования

Д. Д. Рогозин

Московский государственный университет имени М. В. Ломоносова


https://youtu.be/H0-DWQN6OEM

Аннотация: Как известно, любая булева алгебра вложима в подалгебру алгебры подмножеств. Данный факт называется теоремой Стоуна, которая в общем случае имеет довольно нетривиальное доказательство. Однако возникает необходимость расширять стоуновское представление для более широкого класса алгебр. Канонические расширения были введены Йонсенном и Тарским для расширения стоуновского представления для булевых алгебр с операторами. Примерами таких алгебр являются алгебры модальных логик, реляционные алгебры и цилиндрические алгебры, то есть алгебры теорий первого порядка. В докладе мы обсудим то, как канонические расширения предлагают чисто алгебраический подход к полноте относительно реляционной семантики (на примере модальных логик) и, если успеем, обобщение канонических расширений для случая ограниченных дистрибутивных решеток с операторами и их применение для субструктурных логик на примере одного варианта некоммутативной линейной логики с модальными операторами.


© МИАН, 2024